DocumentCode
594227
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
fYear
2012
fDate
5-6 Nov. 2012
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Complex Systems (ICCS), 2012 International Conference on
Conference_Location
Agadir
Print_ISBN
978-1-4673-4764-8
Type
conf
DOI
10.1109/ICoCS.2012.6458600
Filename
6458600
Link To Document