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.
This work has been partially supported by the project SENSORIA, IST-2005-016004.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Model Checker for UML Statechart Diagrams, fmt.isti.cnr.it/umc/
Le Guennec, A., Dion, B.: Bridging UML and Safety-Critical Software Development Environments, ERTS, Toulouse, France (January 2006)
Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous Concurrent Modeling and Design in Java. Memorandum UCB/ERL M04/27, EECS, University of California, Berkeley, CA USA 94720 (July 2004)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language lustre. Proceedings of the IEEE 79(9), 1305–1320 (1991)
Raymond, P.: Compilation efficace d’un langage d’eclaratif synchrone: le generateur de code Lustre-v3. PhD thesis, Institut National Polytechnique de Grenoble (1991)
Wirsing, M., Clark, A., Gilmore, S., Hölzl, M.M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, Springer, Heidelberg (2006)
Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE 2000. Proceedings of the 22nd International Conference on on Software Engineering, Limerick Ireland, June 4-11, 2000, pp. 314–323. ACM, New York (2000)
ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An action/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications. In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol. 4346, Springer, Heidelberg (2007)
Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: SCESM ’06. Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, Shanghai, China, pp. 5–12. ACM, New York (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Banci, M., Fantechi, A., Gnesi, S., Lombardi, G. (2007). Model Driven Development and Code Generation: An Automotive Case Study. In: Gaudin, E., Najm, E., Reed, R. (eds) SDL 2007: Design for Dependable Systems. SDL 2007. Lecture Notes in Computer Science, vol 4745. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74984-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-74984-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74983-7
Online ISBN: 978-3-540-74984-4
eBook Packages: Computer ScienceComputer Science (R0)