Abstract
In the automotive industry, the model driven development of software for embedded controller units evolves to become the standard paradigm. In this domain, the development is based on executable block diagrams and StateCharts which are provided by the commonly used tool MATLAB Simulink/Stateflow. Huge catalogues with hundreds of modeling guidelines have already been developed to increase the quality of models and ensure the safety and reliability of the generated code. Checking these guidelines and eliminating detected violations manually during audits is a tremendous amount of boring work. In this paper, we show how graph transformations can be used to automate the process of guideline checking and the execution of repair actions. Based on our experiences in an industrial context, we discuss the pros and cons of graph transformations compared to other specification approaches and we finally present a proposal how to combine graph transformations with other modeling paradigms as the most promising approach.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Farkas, T., Röbig, H.: Automatisierte, werkzeugübergreifende Richtlinienprüfung zur Unterstützung des Automotive-Entwicklungsprozesses. In: Rumpe, B., Conrad, M., Giese, H., Schätz, B. (eds.) Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Informatik Bericht TU Braunschweig, vol. 2007-01. Institut für Software Systems Engineering, Technische Universität Braunschweig, Germany (2007) (in German)
Fujaba Homepage, http://www.fujaba.de
Jakob, J., Königs, A., Schürr, A.: Non-materialized Model View Specification with Triple Graph Grammars. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 321–335. Springer, Heidelberg (2006)
MAAB Homepage, http://www.mathworks.com/industries/auto/maab.html
MATLAB Homepage, http://www.mathworks.com/products/
Mint Homepage, http://www.ricardo.com/engineeringservices/controlelectronics.aspx?page=mint
MOFLON Homepage, http://www.moflon.org
Mens, T., Van Der Straeten, R., D’Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 200–214. Springer, Heidelberg (2006)
Neema, S., Kalmar, Z., Shi, F., Vizhanyo, A., Karsai, G.: A visually-specified code generator for simulink/stateflow. In: VLHCC 2005: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Washington, DC, USA, pp. 275–277. IEEE Computer Society, Los Alamitos (2005)
Stürmer, I., Conrad, M., Fey, I., Dörr, H.: Experiences with Model and Autocode Reviews in Model-based Software Development. In: Salzmann, C., Rappl, M., Pretschner, A., Stauner, T. (eds.) Proc. of 3rd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2006). ACM Press, New York (2006)
Stürmer, I., Dörr, H., Giese, H., Kelter, U., Schürr, A., Zündorf, A.: Das MATE Projekt-visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. In: Rumpe, B., Conrad, M., Giese, H., Schätz, B. (eds.) Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, number, 2007-01 in Informatik Bericht TU Braunschweig, Institut für Software Systems Engineering, Technische Universität Braunschweig, Germany (2007) (in German)
Sohn, M.: Korrektheitsbegriffe für modellbasierte Codegeneratoren. Master’s thesis, Martin Luther University of Halle-Wittenberg (June 2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Amelunxen, C., Legros, E., Schürr, A., Stürmer, I. (2008). Checking and Enforcement of Modeling Guidelines with Graph Transformations. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-89020-1_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89019-5
Online ISBN: 978-3-540-89020-1
eBook Packages: Computer ScienceComputer Science (R0)