We apologize for a recent technical issue with our email system, which temporarily affected account activations. Accounts have now been activated. Authors may proceed with paper submissions. PhDFocusTM
CFP last date
20 December 2024
Reseach Article

A New Models Transformation Approach for Embedded Systems

by Mohamed Ait Ali, Noureddine Zhar, Mohsine Eleuldj
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 57 - Number 7
Year of Publication: 2012
Authors: Mohamed Ait Ali, Noureddine Zhar, Mohsine Eleuldj
10.5120/9123-3282

Mohamed Ait Ali, Noureddine Zhar, Mohsine Eleuldj . A New Models Transformation Approach for Embedded Systems. International Journal of Computer Applications. 57, 7 ( November 2012), 1-4. DOI=10.5120/9123-3282

@article{ 10.5120/9123-3282,
author = { Mohamed Ait Ali, Noureddine Zhar, Mohsine Eleuldj },
title = { A New Models Transformation Approach for Embedded Systems },
journal = { International Journal of Computer Applications },
issue_date = { November 2012 },
volume = { 57 },
number = { 7 },
month = { November },
year = { 2012 },
issn = { 0975-8887 },
pages = { 1-4 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume57/number7/9123-3282/ },
doi = { 10.5120/9123-3282 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:59:47.330382+05:30
%A Mohamed Ait Ali
%A Noureddine Zhar
%A Mohsine Eleuldj
%T A New Models Transformation Approach for Embedded Systems
%J International Journal of Computer Applications
%@ 0975-8887
%V 57
%N 7
%P 1-4
%D 2012
%I Foundation of Computer Science (FCS), NY, USA
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 due to 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.

References
  1. A. A. J. P. Babau, «A development method for Prototyping embedded SystEms by using UML and SDL (PROSEUS,» workshop SIVOEES , Hungary, 2001.
  2. J. R. F. B. P. Dhaussy, «Mise en œuvre d'unités de preuve pour la vérification formelle de modèles ,» IDM'07, France, 2007.
  3. H. Kopetz, Real-Times systems : Design Principles for Distributed Embedded Applications, USA: Kluwer Academic Publishers, 1997.
  4. OMG, MDA Guide Version 1. 0. 1, 2003.
  5. M. CHOUKRI, «Modélisation des systémes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées,» France, 2010.
  6. OMG, «Mofqvt Technical report,» Object Management Group, 2005.
  7. OMG, Unified Modeling Langage :Superstrustur Version 2. 0, OMG, 2003.
  8. O. Habart, «UML vers IF,» ENSIETA, France, 2004.
  9. U. Faghihi, «UML vers IF,» ENSIETA, France, 2005.
  10. T. Abdoul, «AADL vers IF,» ENSIETA, France, 2006.
  11. OMG, Action Semantics for the UML, Request For Proposal, OMG Document, 2003.
  12. OMG, UML Action Semantics, November 2001.
  13. A. KOUDRI, «Méthodologie UML/MARTE Pour La conception Conjointe Logicielle / Materiélle,» ENSIETA, France, 2010.
Index Terms

Computer Science
Information Sciences

Keywords

Metamodel Model Models' transformation Intermediate language