Copyright and Licensing
Articles accepted for publication will be licensed under the Creative Commons BY-NC-SA. Authors must sign a non-exclusive distribution agreement after article acceptance.
Modeling of embedded software on MDA platform models
Keywords:
Model Driven Architecture, Platform Model, UML Profile, Model Transformation, Real -Time Operating SystemsAbstract
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
Downloads
Download data is not yet available.
References
[1] W. Wolf, “Computers as Components: Principles of Embedded Computer Systems Design”, Morgan Kaufmann Publishers, 2001.
[2] OMG, June 2003, MDA Guide Version 1.0.1. http://www.omg.org/cgi-bin/doc?omg/03-06-01.
[3] 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.
[4] 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.
[5] 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.
[6] 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.
[7] OMG, Unified Modeling Language (UML): Superstructure, 2011, http://www.omg.org/spec/UML/2.4/Superstructure/Beta2/PDF.
[8] 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.
[9] 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.
[10] 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.
[11] J. Troya, and A. Vallecillo, “A Rewriting Logic Semantics for ATL”, Journal of Object Technology, Vol. 10, No.5, 2011, pp. 1-29.
[12] 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.
[13] 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.
[14] 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.
[15] OMGb. Object Constraint Language Specification, 2011.http://www.omg.org/spec/OCL/2.3/Beta2/PDF.
[16] 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.
[17] 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.
[18] 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.
[19] 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.
[20] 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.
[21] 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.
[22] 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.
[23] 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.
[24] 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
[2] OMG, June 2003, MDA Guide Version 1.0.1. http://www.omg.org/cgi-bin/doc?omg/03-06-01.
[3] 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.
[4] 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.
[5] 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.
[6] 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.
[7] OMG, Unified Modeling Language (UML): Superstructure, 2011, http://www.omg.org/spec/UML/2.4/Superstructure/Beta2/PDF.
[8] 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.
[9] 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.
[10] 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.
[11] J. Troya, and A. Vallecillo, “A Rewriting Logic Semantics for ATL”, Journal of Object Technology, Vol. 10, No.5, 2011, pp. 1-29.
[12] 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.
[13] 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.
[14] 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.
[15] OMGb. Object Constraint Language Specification, 2011.http://www.omg.org/spec/OCL/2.3/Beta2/PDF.
[16] 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.
[17] 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.
[18] 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.
[19] 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.
[20] 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.
[21] 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.
[22] 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.
[23] 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.
[24] 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
Downloads
Published
2012-10-01
How to Cite
Soares, I. W., Agner, L. T. W., Stadzisz, P. C., & Simão, J. M. (2012). Modeling of embedded software on MDA platform models. Journal of Computer Science and Technology, 12(03), p. 133–139. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/651
Issue
Section
Original Articles
