Model-Driven Construction of Embedded Applications
 based on Reusable Building Blocks - An Example

Frank Alexander Kraemer, Vidar Slåtten, and Peter Herrmann

SDL Forum 2009, Volume 5719 of Lecture Notes in Computer Science. Springer, Heidelberg.

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.

Springerlink via DOI

Demo. A video demonstration of the leader election protocol presented in the paper is available here.

Demo of Leader Election

@inproceedings{KrSH:SDL09,
Author = {Frank Alexander Kraemer and Vidar Sl{\aa}tten and Peter Herrmann},
Booktitle = {SDL 2009},
Editor = {Attila Bilgic and Reinhard Gotzhein and Rick Reed},
Pages = {1-18},
Publisher = {Springer-Verlag Berlin Heidelberg},
Series = {Lecture Notes in Computer Science},
Title = {{Model-Driven Construction of Embedded Applications based on Reusable Building Blocks -- An Example}},
Volume = {5719},
Year = {2009}}