Model-Based Design for Embedded Systems- P34: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 296 Model-Based Design for Embedded Systems relation the mapping . The MIC is supported by a set of tools that can create and manage various modeling languages. For instance the generic modeling environment GME has been designed to facilitate the construction and the manipulation of domain-specific modeling languages by providing a way of specifying an abstract as well as a concrete syntax textual or graphical including well-formed constraints and static semantics. The language design activity is again based on the UML and the Object Constraint Language OCL constraints 48 which are used as meta-languages. However the resulting language need not be related to the UML at all. The manipulation in the GME also includes the possibility to merge and compose languages at the syntactic level by identifying relationships between elements of different languages. Languages designed in the GME can be manipulated using GReAT 1 to implement a variety of model transformations based on standard traversal patterns or on graph-rewriting rules called meta-generators . These tools are used to convert models automatically between languages or to generate implementation models. Designs can be verified using MILAN 4 36 . MILAN supports the integration of different simulators at various levels of granularity using model interpreters and integrates the design-space exploration tool DESERT 47 . DESERT allows the designer to express the flexibility in a platform by specifying structural constraints in the OCL. An efficient symbolic technique is used to explore only the architectures that satisfy the constraints thus pruning a large part of the design space. Performance evaluation is then carried out using lower-level simulators capable of providing accurate performance measures. Unlike the GME our work is not focused on the design of modeling languages rather we look at ways of using existing modeling languages without the need of introducing new ones. To do so we use special ports and .
