• 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