Modeling of embedded software on MDA platform models

This study proposes the use of abstract software models in order to meet the diversity of embedded platforms. A UML 2.0 Profile for Modeling Application and Platform of Embedded Software (called PROAPES) is proposed. Such profile is intended to generically describe the services provided by a system platform that makes use of an RTOS. In addition, this study presents a Model Transformation (MT) based on the PROAPES profile, named MT-PROAPES. In this way, MT-PROAPES uses a Platform Model (PM), created on the basis of the proposed profile (PROAPES), and performs a transformation named Platform Independent Model (PIM)-behavior into Platform Specific Model (PSM)-behavior. Thus, the generation of reusable model transformations that are adaptable to different platform models is possible.

[1]  Frédéric Jouault,et al.  Model Transformation and Weaving in the AMMA Platform , 2005 .

[2]  Ivan Kurtev,et al.  Elsevier special issue on foundations and applications of model driven architecture , 2008, Sci. Comput. Program..

[3]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[4]  Doo-Hwan Bae,et al.  Developing platform specific model for MPSoC architecture from UML-based embedded software models , 2009, J. Syst. Softw..

[5]  Tom Mens,et al.  A formal approach to model refactoring and model refinement , 2007, Software & Systems Modeling.

[6]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

[7]  Wayne H. Wolf,et al.  Computers as components - principles of embedded computing system design , 2005 .

[8]  Dennis Wagelaar,et al.  Composition Techniques for Rule-Based Model Transformation Languages , 2008, ICMT@TOOLS.

[9]  Timo Hämäläinen,et al.  UML 2.0 profile for embedded system design , 2005, Design, Automation and Test in Europe.

[10]  Bran Selic,et al.  On software platforms, their modeling with UML 2, and platform-independent design , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[11]  Gerald C. Gannod,et al.  A model-driven approach for specifying semantic Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[12]  Alfred Strohmeier,et al.  Towards an MDA-oriented UML profile for distribution , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[13]  Elvinia Riccobene,et al.  Weaving executability into UML class models at PIM level , 2009, BM-MDA '09.

[14]  Antonio Vallecillo,et al.  A Rewriting Logic Semantics for ATL , 2011, J. Object Technol..

[15]  Douglas P. B. Renaux,et al.  Performance Characterization of Real-Time Operating Systems for Systems-on-Silicon , 2010 .

[16]  Gabor Karsai,et al.  Model-driven architecture for embedded software: A synopsis and an example , 2008, Sci. Comput. Program..

[17]  Adel Alti,et al.  Integrating Software Architecture Concepts Into the MDA Platform , 2007, ICSOFT.

[18]  Ragnhild Van Der Straeten,et al.  Module superimposition: a composition technique for rule-based model transformation languages , 2010, Software & Systems Modeling.

[19]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[20]  Tao Xie,et al.  RTOS-aware refinement for TLM2.0-based HW/SW designs , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).