Model driven development and code generation: an automotive case study

Authors:
Michele Banci;Alessandro Fantechi;Stefania Gnesi;Giovanni Lombardi
Affiliations:
ISTI, CNR, Pisa, Italy;ISTI, CNR, Pisa, Italy and DSI, Università degli Studi di Firenze, Firenze, Italy;ISTI, CNR, Pisa, Italy;ISTI, CNR, Pisa, Italy
Venue:
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
Year:
2007

Citing 3
Cited 0

Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
A comparative survey of scenario-based to state-based model synthesis approaches

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Semantic-Based development of service-oriented systems

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived and to be formalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used to this purpose. Starting from such an abstract description, still much work is needed to derive a working application, with a model-driven development process that needs to introduce and formalize many details. In this paper we report an experience in deriving an executable formal model from a high level specifications, originally given following a mainly architectural UML approach. The development process is illustrated on an automotive case study. A state of the art code generation tool is then applied to produce a prototype implementation of the analyzed system.