Model-driven construction of embedded applications based on reusable building blocks: an example

Authors:
Frank Alexander Kraemer;Vidar Slåtten;Peter Herrmann
Affiliations:
Norwegian University of Science and Technology, Department of Telematics, Trondheim, Norway;Norwegian University of Science and Technology, Department of Telematics, Trondheim, Norway;Norwegian University of Science and Technology, Department of Telematics, Trondheim, Norway
Venue:
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Year:
2009

Citing 13
Cited 6

Object-oriented specification of reactive systems

ICSE '90 Proceedings of the 12th international conference on Software engineering
Engineering real time systems: an object-oriented methodology using SDL

Engineering real time systems: an object-oriented methodology using SDL
Real-time object-oriented modeling

Real-time object-oriented modeling
Unreliable failure detectors for reliable distributed systems

Journal of the ACM (JACM)
Objects, components, and frameworks with UML: the catalysis approach

Objects, components, and frameworks with UML: the catalysis approach
A framework for modeling transfer protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
Elements of distributed computing

Elements of distributed computing
Distributed Systems: Principles and Paradigms

Distributed Systems: Principles and Paradigms
Service Specification by Composition of Collaborations--An Example

WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Automated generation of micro protocol descriptions from SDL design specifications

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Synthesizing components with sessions from collaboration-oriented service specifications

SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Model-Driven development with SDL – process, tools, and experiences

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Aligning UML 2.0 state machines and temporal logic for the efficient execution of services

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II

Unified modeling of service logic with user interfaces

Proceedings of the first international workshop on Model driven service engineering and data quality and security
Automated Encapsulation of UML Activities for Incremental Development and Verification

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model-driven protocol design based on component oriented modeling

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study

Proceedings of the 10th ACM international conference on Generative programming and component engineering
Reactive semantics for distributed UML activities

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems

Quantified Score

Hi-index	0.00

Visualization

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.