MT-AMP: A Model Transformation for Embedded Software

MDA is an approach to software development based on the design and transformation of models. In the MDA approach, models are the core artifacts throughout the software development lifecycle, and thus a key role is played by model transformations. Nevertheless, most MDA initiatives are dedicated, i.e., the platform features are implicitly employed in the transformation rules. As the aspects associated with the platform are not separated from the transformation rules, for each selected platform there must be a corresponding model transformation. This makes the model transformation development easier, although the model transformation becomes limited to a specific platform, once the platform features are strongly associated with the transformation rules. An open challenge consists of how to create transformation rules independently of the platform features. This paper presents a model transformation, called MT-AMP, particularly applied to embedded software development based on PI-MT Method. In addition, it allows the use of the model transformation to different RTOS-based platforms by means of Platform Models explicitly defined. As a result, the MT-AMP provides independence between the model transformation rules and the platform features.

[1]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[2]  Laurence Tratt,et al.  Model transformations and tool integration , 2005, Software & Systems Modeling.

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

[4]  Jean Bézivin,et al.  Mapping Specification in MDA: From Theory to Practice , 2006 .

[5]  Jeffrey G. Gray,et al.  Model Transformation by Demonstration , 2009, MoDELS.

[6]  Peter Marwedel,et al.  Embedded system design , 2021, Embedded Systems.

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

[8]  Bran Selic,et al.  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.

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

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

[11]  Paulo Cézar Stadzisz,et al.  Modeling of embedded software on MDA platform models , 2012 .

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

[13]  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).

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

[15]  Ivan Kurtev,et al.  State of the Art of QVT: A Model Transformation Language Standard , 2008, AGTIVE.

[16]  Juan de Lara,et al.  Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving , 2014, 2014 IEEE 25th International Symposium on Software Reliability Engineering.

[17]  Sébastien Gérard,et al.  Detailed Real-Time Software Platform Modeling , 2010, 2010 Asia Pacific Software Engineering Conference.

[18]  Dennis Wagelaar,et al.  Explicit platform models for MDA , 2005, MoDELS'05.

[19]  Bruce P. Douglass,et al.  Doing hard time: developing real-time systems with uml , 1999 .

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

[21]  Siegfried Benkner,et al.  Explicit Platform Descriptions for Heterogeneous Many-Core Architectures , 2011, 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum.

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

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

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