Abstract
In the automotive industry, the model driven development of software is generally based on the use of the tool MATLAB Simulink. 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. In this paper, we present the MATLAB Simulink Analysis and Transformation Environment (MATE), a tool using metamodeling techniques and visual graph transformations to automate the analysis and correction of models according to these guidelines. The MATE approach is illustrated by a typical example, and compared to other classical approaches for model analysis.
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
MathWorks Automotive Advisory Board Homepage, http://www.mathworks.com/industries/auto/maab.html
Model Examiner Homepage, http://www.model-engineers.com/our-products/model-examiner.html
Mint Homepage, http://www.ricardo.com/engineeringservices/controlelectronics.aspx?page=mint
Stürmer, I., Kreuz, I., Schäfer, W., Schürr, A.: Enhanced simulink and stateflow model transformation: The MATE approach. In: Proc. of MathWorks Automotive Conference (MAC 2007), June 19-20, Dearborn (MI), USA (2007)
Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification. ptc/03-10-04 (2003)
Fujaba Homepage, http://www.fujaba.de
MOFLON Homepage, http://www.moflon.org
Zündorf, A.: Rigorous Object Oriented Software Development. University of Paderborn, Habilitation Thesis (2001)
OCL Specification, http://www.omg.org/docs/ptc/03-10-14.pdf
Amelunxen, C., Legros, E., Schürr, A.: Checking and Enforcement of Modeling Guidelines with Graph Transformations. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) Proceedings of the Third International Symposium on Applications of Graph Transformations with Industrial Relevance (October 2007)
Amelunxen, C., Legros, E., Schürr, A.: Generic and Reflective Graph Transformations for the Checking and Enforcement of Modeling Guidelines. In: Proc. of the Visual Languages and Human-Centric Computing (VL/HCC 2008), pp. 211–218 (September 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Legros, E., Schäfer, W., Schürr, A., Stürmer, I. (2010). 14 MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds) Model-Based Engineering of Embedded Real-Time Systems. MBEERTS 2007. Lecture Notes in Computer Science, vol 6100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16277-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-16277-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16276-3
Online ISBN: 978-3-642-16277-0
eBook Packages: Computer ScienceComputer Science (R0)