Paper Info
Title
Model-driven construction of embedded applications based on reusable building blocks: an example
Abstract
For the rapid engineering of reactive systems we developed the SPACE method, in which specifications can be composed of reusable building blocks from domain-specific libraries. Due to the mathematical rigor and completeness with which the building blocks are designed, we can provide tool support facilitating a high degree of automation in the development process. In this paper, we focus on the design of embedded Java applications executed on Sun SPOTs by providing dedicated blocks to access platform-specific functionality. These building blocks can be used in combination with other blocks realizing protocols such as leader election to build more comprehensive applications. We present an example specification and discuss its automatic verification, transformation and implementation.
Year
DOI
Venue
2009
10.1007/978-3-642-04554-7_1
Lecture Notes in Computer Science
Keywords
Field
DocType
reusable building block,domain-specific library,sun spots,comprehensive application,automatic verification,building block,model-driven construction,dedicated block,development process,embedded java application,embedded application,space method,reactive system,leader election
Leader election,Embedded Java,Java code,Computer science,Embedded applications,Finite-state machine,Automation,Reactive system,Completeness (statistics),Embedded system
Conference
Volume
ISSN
ISBN
5719
0302-9743
3-642-04553-7
Citations 
PageRank 
References 
7
0.58
12
Authors
3
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13
Vidar Slåtten2614.65
Peter Herrmann315312.37