MATE

The MATE project is a joint project of the Real-Time Systems Lab from the TU Darmstadt, our industrial partner Daimler Chrysler, and the universities of Kassel, Paderborn, and Siegen. One goal of this project is to provide tool support for the automated checking of integrity constraints on models of embedded automotive systems as well as putting those systems into a state that complies to the internal modeling guidelines at Daimler Chrysler.

Given MATLAB/Simulink and Stateflow as proprietary modeling tools and a loosely formulated set of modeling guidelines, the development process of automotive systems being in business at the beginning of the MATE project lacked both a meta model for those systems and a formalization of the guidelines and integrity constraints.

The MOFLON tool set enabled us to describe metamodels for both the Simulink and Stateflow diagrams. With MOFLON, the modeling guidelines existing only in a textual description so far could not only be formalized, but also be implemented by specifying story diagrams in a graphical editor. Depending on the concrete model and the kind of integrity constraints that were to be considered, the appliance of graph tansformation rules proved to be an automated way to put the models into a state of integrity.