A Model Driven Based Method for Scheduling Analysis and HW/SW Partitioning

Authors: Yessine Hadj Kacem, Adel Mahfoudhi, Hedi Tmar, Mohamed Abid

Abstract:

Unified Modeling Language (UML) extensions for real time embedded systems (RTES) co-design, are taking a growing interest by a great number of industrial and research communities. The extension mechanism is provided by UML profiles for RTES. It aims at improving an easily-understood method of system design for non-experts. On the other hand, one of the key items of the co- design methods is the Hardware/Software partitioning and scheduling tasks. Indeed, it is mandatory to define where and when tasks are implemented and run. Unfortunately the main goals of co-design are not included in the usual practice of UML profiles. So, there exists a need for mapping used models to an execution platform for both schedulability test and HW/SW partitioning. In the present work, test schedulability and design space exploration are performed at an early stage. The proposed approach adopts Model Driven Engineering MDE. It starts from UML specification annotated with the recent profile for the Modeling and Analysis of Real Time Embedded systems MARTE. Following refinement strategy, transformation rules allow to find a feasible schedule that satisfies timing constraints and to define where tasks will be implemented. The overall approach is experimented for the design of a football player robot application.

Keywords: MDE, UML profile, scheduling analysis, HW/SW partitioning.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1331029

References:

[1] S. Bernardi and J. Merseguer. Performance evaluation of uml design with stochastic well-formed nets. Journal of Systems and Software, 80(11): 1843-1865 , 2007.
[2] Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, and Michel Auguin. Um12.0 profiles for embedded systems and systems on a chip (socs). Journal of Object Technology, 8(1):135-157, January-February, 2009.
[3] Javier Campos and Jose Merseguer. On the integration of uml and petri nets in software development. Lecture Notes in Computer Science, 4024:19-36, 2006. Invited paper.
[4] Moy Christophe, Raulet Mickael, Urban Fabrice, Nezan Jean-Francois, and Deforges Olivier. Syndex executive kernels for fast developments of applications over heterogeneous architectures. In EUSIPCO '05 , Antalaya (Turquey), September 2005.
[5] Jean-Remy Falleri, Marianne Huchard, and Clementine Nebut. Towards a traceability framework for model transformations in kermeta. In In: ECMDA-TW Workshop, 2006.
[6] Elena Fersman and Wang Yi. A generic approach to schedulability analysis of real-time tasks. Nordic Journal of Computing, 11(2):129¬147, 2004.
[7] Abdelouahed Gherbi and Ferhat Khendek. From uml/spt models to schedulability analysis: a metamodel-based transformation. Object-Oriented Real-Time Distributed Computing, IEEE International Sym¬posium on, 0:343-350, 2006.
[8] OMG Object Management Group. Uml profile for schedulability, performance and time. 2002.
[9] OMG Object Management Group. Uml profie for modeling quality of service and fault tolerance characteristics and mechanisms. 2004.
[10] OMG Object Management Group. Uml profile for modeling and analysis of real-time and embedded systems (marte). In RFP, 2006.
[11] Matthias Hagner and Michaela Huhn. Tool support for a scheduling analysis view. In MARTE workshop at DATE'08, pages 41-46., 2008.
[12] M. Gonzalez Harbour, J. J. Gutierrez Garciia, J. C. Palencia Gutierrez, and J. M. Drake Moyano. Mast: Modeling and analysis suite for real time applications. Real-Time Systems, Euromicro Conference on, 0:0125, 2001.
[13] Rafik Henia, Arne Hamann, Marek Jersak, Razvan Racu, Kai Richter, and Rolf Ernst. System level performance analysis - the symta/s approach. In IEEE Proceedings Computers and Digital Techniques, volume 152, pages 148-166., 2005.
[14] Jose Merseguer and Javier Campos. Software performance modeling using uml and petri nets. In MASCOTS Tutorials, pages 265-289, 2003.
[15] H.Kitano M.Veloso, E.Pagello. Robocup-99: Robot soccer world cup iii. In Velsoso (Eds.).
[16] Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, and Alberto Rosti. A model-driven co-design flow for embedded systems. In FDL, pages 345-351, 2006.
[17] Lui Sha, Tarek Abdelzaher, Karl-Erik Arzen, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, and Aloysious K. Mok. Real time scheduling theory: A historical perspective. Real-Time Systems Journal, 28(2/3):101-155, 2004.
[18] Frank Singhoff, Jerome Legrand, Laurent tchamnda Nana, and Lionel Marc. Cheddar : a flexible real time scheduling framework. ACM Ada Letters journal, 24(4):1-8, ACM Press, ISSN :1094-3641, November 2004.
[19] Hedi Tmar, Jean-Philippe Diguet, Abdenour Azzedine, Mohamed Abid, and Jean Luc Philippe. Rtdt: A static qos manager, rt scheduling, hw/sw partitioning cad tool. Microelectronics Journal, 37(11):1208¬1219, 2006.
[20] W.M.P. van der Aalst. Petri net based scheduling. Computing Science Reports 95 /23. Eindhoven University of Technology, Eindhoven, 1995.
[21] G. Vanmeerbeeck, P. Schaumont, S. Vernalde, M. Engels, and I. Bolsens. Hardware / software partitioning of embedded system in ocapi-xl. Hardware/Software Co-Design, International Workshop on, 0:30, 2001.