Document - Model Driven Development and Code Generation: An Automotive Case Study

2007

Conference article Restricted

Model Driven Development and Code Generation: An Automotive Case Study

Banci M., Fantechi A., Gnesi S., Lombardi G.

formal verification formal modeling Service-Oriented applications automatic code generation formal validation

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.

Source: 3th International SDL Forum, pp. 19–34, Paris, FRANCE, SEP 18-21, 2007

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:179716,
	title = {Model Driven Development and Code Generation: An Automotive Case Study},
	author = {Banci M. and Fantechi A. and Gnesi S. and Lombardi G.},
	doi = {10.1007/978-3-540-74984-4_2},
	booktitle = {3th International SDL Forum, pp. 19–34, Paris, FRANCE, SEP 18-21, 2007},
	year = {2007}
}