Title :
A pivot modeling language for embedded systems (COCODEL: Communicating Component Description Langage)
Author :
Ali, M.A. ; Zhar, N. ; Eleuldj, Mohsine
Author_Institution :
Lab. SIR, Ecole Mohammadia d´´Ing. Rabat, Rabat, Morocco
Abstract :
Embedded systems are becoming more complex by integrating multiple features. They require a lot of resources to improve execution performances. Their developments are a real challenge since both their complexity and their quality of service requirements. To manage this complexity, a model driven approach focuses on the design of these systems by raising the level of the specification abstraction. For this reason the number of modeling languages (metamodels) is increasing (scientific publications, industrial projects). However, there is currently little use and dissemination of good practice to define metamodels (metamodeling) and transforming these metamodels for verification, validation and code generation. However, the identification of a string of well-structured model transformation and formalization of metamodeling patterns should be an important practice in the sense that it should speed up the metamodels writing, facilitate their reuse, teaching and finally processing for code generation. The research below suggests a structure of a model transformations chain by defining an intermediate language.
Keywords :
Unified Modeling Language; embedded systems; formal specification; formal verification; program compilers; simulation languages; COCODEL; code generation; communicating component description langage; embedded systems; intermediate language; metamodel specification; metamodel verification; metamodeling patterns; metamodels writing; model driven approach; pivot modeling language; specification abstraction; well-structured model transformation chain; Analytical models; Biological system modeling; Computational modeling; Computer architecture; Embedded systems; Real-time systems; Unified modeling language; Interm ediate language; Metamodel; Model; Models´ transformation; systems;
Conference_Titel :
Complex Systems (ICCS), 2012 International Conference on
Conference_Location :
Agadir
Print_ISBN :
978-1-4673-4764-8
DOI :
10.1109/ICoCS.2012.6458600