Authors: Péter Fehér, Tamás Mészáros, Pieter J. Mosterman, László Lengyel
Embedded systems are usually modeled to simulate their behavior and facilitate design space exploration. Nowadays, this modeling is often implemented in the Simulink® environment, which offers strong support for modeling complex systems. As design progresses, models are increasingly elaborated by gradually adding implementation detail. An important elaboration is the execution order of the elements in a model. This execution order is based on a sorted list of all semantically relevant model elements. Thus, to create an implementation or to execute a model, Simulink generates the dependency list of the model entities, which is referred to as the Sorted List. The work presented in this paper raises the level of abstraction of the model elaboration by modeling the Sorted List generation in order to unlock the potential for reuse, platform independence, etc. The transformation is implemented by applying graph transformation methods. Moreover, an analysis of the transformation is also provided.