Model Driven Development and Code Generation: An Automotive Case Study

Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used 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.

• Type: Conference
• Year: 2007
• Where: SDL
• Authors: Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi
• Keywords: Architectural Uml Approach, Development Process, Hardware, Model-driven Development Process, SDL 2007