Modeling of embedded software on MDA platform models
Keywords:Model Driven Architecture, Platform Model, UML Profile, Model Transformation, Real -Time Operating Systems
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
 OMG, June 2003, MDA Guide Version 1.0.1. http://www.omg.org/cgi-bin/doc?omg/03-06-01.
 M. Aksit, and I. Kurtev, “Elsevier special issue on foundations and applications of model driven architecture”, Science Computer Programming, Vol. 73, No. 1, 2008, pp. 1-2.
 B. Selic, “On software platforms, their modeling with UML 2, and platform-independent design”, Proc. of the 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, USA, 2005, pp. 15-21.
 M. Becker, G. Di Guglielmo, F. Fummi, W. Mueller, G. Pravadelli, and T. Xie, “RTOS-aware refinement for TLM2.0-based HW/SW designs”, Proc. of the Conference on Design, Automation and Test in Europe, Belgium, 2010, pp. 1053-1058.
 D.P.B. Renaux, R.E. Goes, and R.R. Linhares, “Performance characterization of real-time operating systems for systems-on-silicon”, Proc. of the 12th Brazilian Workshop on Real-Time and Embedded Systems, Brazil, 2010. http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtr/st03_02_wtr.pdf.
 OMG, Unified Modeling Language (UML): Superstructure, 2011, http://www.omg.org/spec/UML/2.4/Superstructure/Beta2/PDF.
 A. Alti, T. Khammaci, and A. Smeda, “Integrating Software Architecture Concepts into the MDA Platform with UML Profile”, J. Comput. Sci., Vol. 3, 2007, pp. 793-802.
 R. Van Der Straeten, V. Jonckers, and T. Mens, “A formal approach to model refactoring and model refinement”, Software and System Modeling, Vol. 6, No. 2, 2007, pp. 139-162.
 F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, “ATL: A model transformation tool”, Science of Computer Programming, Vol. 72, No. 1-2, 2008, pp. 31–39.
 J. Troya, and A. Vallecillo, “A Rewriting Logic Semantics for ATL”, Journal of Object Technology, Vol. 10, No.5, 2011, pp. 1-29.
 D. Wagelaar, R. Van Der Straeten, and D. Deridder, “Module superimposition: a composition technique for rule-based model transformation languages”, Software and Systems Modeling, Vol. 9, No. 3, 2010, pp. 285-309.
 D. Wagelaar, “Composition techniques for rule-based model transformation languages”, Proc. International Conference on Model Transformation, Switzerland (2008), Lecture Notes in Computer Science, Springer, Vol. 5063, 2008, pp. 152-167.
 R. France, and B. Rumpe, “Model-driven Development of Complex Software: A Research Roadmap”; Proc. Future of Software Engineering (FOSE '07), Washington, DC, USA, 2007, pp. 37-54, IEEE Computer Society.
 OMGb. Object Constraint Language Specification, 2011.http://www.omg.org/spec/OCL/2.3/Beta2/PDF.
 M.D. Del Fabro, and F. Jouault, “Model Transformation and Weaving in the AMMA Platform”, Proc. of the Generative and Transformational Techniques in Software Engineering (GTTSE'05), Braga, Portugal, 2005, pp. 71-77.
 S. Jeon, J. Hong, I. Song, and D. Bae, “Developing platform specific model for MPSoC architecture from UML-based embedded software models”, The Journal of Systems and Software, Vol. 82, No. 10, 2009, pp. 1695-1708.
 G. Karsai, S. Neema, and D. Sharp, “Model-Driven Architecture for embedded software: A synopsis and an example”, Science of Computer Programming, Vol. 73, No. 1, 2008, pp. 26-38.
 P. Kukkala, J. Riihimâki, M. Hamalainen, and K. Kronlof, “UML 2.0 Profile for embedded system design”, Proc. of the Conference on Design, Automation and Test in Europe USA, 2005, pp. 710-715, IEEE Computer Society.
 E. Riccobene, and P. Scandurra, “Weaving executability into UML class models at PIM level”, Proc. 1th. Workshop on Behaviour Modellingin Model-Driven Architecture, ACM, New York, NY, USA, 2009.
 K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, “On challenges of model transformation from UML to alloy”, Software and System Modeling, Vol. 9, No. 1, 2010, pp. 69-86.
 J.T.E Timm, and G.C. Gannod, “A Model-Driven Approach for specifying semantic web services”, Proc. of the IEEE International Conference on Web Services, USA, 2005, pp. 313-320, IEEE Computer Society.
 R. Silaghi, F. Fondement, and A. Strohmeier, “Towards an MDA-Oriented UML profile for distribution”, Proc. of the 8th IEEE International Enterprise Distributed Object Computing Conference, Monterey, California, USA, 2004, pp. 227-239.
 OMGc. June 2011, A UML profile for modeling and analysis of real time embedded systems, Version 1.1. http://www.omg.org/spec/MARTE/1.1/PDF