Advertisement

14 MATE - A Model Analysis and Transformation Environment for MATLAB Simulink

  • Elodie Legros
  • Wilhelm Schäfer
  • Andy Schürr
  • Ingo Stürmer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6100)

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.

Keywords

Model Transformation Graph Transformation Visual Graph Meta Object Facility Model Repository 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    MathWorks Automotive Advisory Board Homepage, http://www.mathworks.com/industries/auto/maab.html
  2. 2.
  3. 3.
  4. 4.
    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)Google Scholar
  5. 5.
    Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification. ptc/03-10-04 (2003)Google Scholar
  6. 6.
    Fujaba Homepage, http://www.fujaba.de
  7. 7.
    MOFLON Homepage, http://www.moflon.org
  8. 8.
    Zündorf, A.: Rigorous Object Oriented Software Development. University of Paderborn, Habilitation Thesis (2001)Google Scholar
  9. 9.
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Elodie Legros
    • 1
  • Wilhelm Schäfer
    • 2
  • Andy Schürr
    • 1
  • Ingo Stürmer
    • 3
  1. 1.Real-Time Systems LabTechnische Universität DarmstadtGermany
  2. 2.Software Engineering GroupUniversity of PaderdornGermany
  3. 3.Model Engineering SolutionsBerlinGermany

Personalised recommendations