Skip to main content
SpringerLink
Log in

Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

Abstract

The real-time system (RTS) design is a major challenge due to the complexity of the considered application and the appearance of multiprocessor architectures. Most of the research in this area is interested in high abstraction level methods to decrease the design convolution. In particular, the Unified Modeling Language (UML) profiles and the Model Driven Engineering (MDE) aim at being an adequate solution to support the whole life cycle of RTS design with its real-time constraints and performance issues. Based on MDE and the Modeling and Analysis of Real-Time and Embedded systems (MARTE) profile, the present manuscript proposes an interactive partitioning scheduling of RTS running on multiprocessor architecture. A special attention is paid to the scheduling analysis step to accelerate the exploration of HW/SW space solution. Starting from a candidate solution modeled with UML activity and annotated with MARTE stereotypes, a mapping process to dynamic priority time Petri Nets (dPTPN) was defined. The considered dPTPN is able to prove the schedulability or provide a counterexample to determine the partitions causes of temporal fault. This counterexample presents a useful feedback to the HW/SW space solution explorer in the aim to exclude all solution containing the described partitions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17

Similar content being viewed by others

References

  1. Amnell T, Fersman E, Mokrushin L, Pettersson P, Yi W (2002) Times: a tool for modelling and implementation of embedded systems. In: TACAS ’02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, London, pp 460–464

  2. Antti V (1989) Stubborn sets for reduced state space generation. In: Applications and Theory of Petri Nets, pp 491–515

  3. Aulagnier D, Koudri A, Lecomte S, Soulard P, Champeau J, Vidal J, Perrouin G, Leray P (2009) Soc/sopc development using mdd and marte profile. In: Model driven engineering for distributed real-time embedded systems. Hermes

  4. Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time petri nets. In: FORMATS. Springer, Berlin Heidelberg, pp 82–97

  5. Berthomieu B, Vernadat F (2006) Time petri nets analysis with tina. In: QEST: third international conference on quantitative evaluation of systems. Riverside, CA, pp 123–124

  6. Buy U, Sloan RH (1994) Analysis of real-time programs with simple time petri nets. In: ISSTA ’94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis. ACM, New York, pp 228–239

  7. Durdevic DM, Tartalja II (2011) Domino tiling: a new method of real-time conforming mesh construction for rendering changeable height fields. J Comput Sci Technol 26(6):971–987

    Article  Google Scholar 

  8. Ermeson A, Maciel P, Callou G, Nogueira B (2009) A methodology for mapping sysml activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In: Proceedings of the 2009 Third International Conference on Digital Society. IEEE Computer Society, Washington, DC, pp 266–271

  9. Gamatié A, Le Beux S, Piel É, Etien A, Ben Atitallah R, Marquet P, Dekeyser JL (2008) A model driven design framework for high performance embedded systems. Research Report RR-6614, INRIA

  10. Ge N, Pantel M, Crégut X (2012) Time properties dedicated transformation from uml-marte activity to time petri net. In: The 5th International Workshop UML and Formal Methods (UML&FM 2012), 27–31 August. NY, USA, New York, pp 1–8

  11. Gerard S, Terrier F, Tanguy Y (2002) Using the model paradigm for real-time systems development: Accord/uml. In: OOIS ’02: Proceedings of the workshops on advances in object-oriented information systems. Springer-Verlag, London, pp 260–269

  12. OMG Object Management Group (2002) Uml profile for schedulability, performance and time

  13. OMG Object Management Group (2003) UML 2.0 OCL specification. OMG adopted specification ptc/03-10-14. Object Management Group

  14. OMG Object Management Group (2008) A UML profile for MARTE: modeling and analysis of real-time embedded systems, Beta 2, ptc/2008-06-09. Object Management Group

  15. OMG Object Management Group. Unified modeling language: Superstructure (final adopted spec, version 2.4.1). http://www.omg.org, August’6 2011

  16. Hagner M, Huhn M (2008) Tool support for a scheduling analysis view. In: MARTE workshop at DATE’08, pp 41–46

  17. Gonzalez Harbour M, Gutierrez Garciia JJ, Palencia Gutierrez JC, Drake Moyano JM (2001) Mast: Modeling and analysis suite for real time applications. In: Real-Time Systems, Euromicro Conference on, 0:0125

  18. Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis: the symta/s approach. IEEE Proc Comput Digital Tech 152:148–166

    Article  Google Scholar 

  19. Hadj Kacem Y, Karamti W, Mahfoudhi A, Abid M (2010) A petri net extension for schedulability analysis of real time embedded systems. In: PDPTA, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, pp 304–314

  20. Hadj Kacem Y, Magdich A, Mahfoudhi A, Mraidha C, Karamti W (2012) Using mde and priority time petri nets for the schedulability analysis of embedded systems modeled by uml activity diagrams. In: The 9th IEEE Workshop on Model-Based Development for Computer-Based Systems. Novi Sad, Serbia, pp 316–323

  21. Hadj Kacem Y, Mahfoudhi A, Karamti W, Abid M (2010) Using model driven engineering and uml/marte for hw/sw partitioning. Int J Discrete Event Control Syst (IJDECS) 1(1):57–67

    Google Scholar 

  22. Karamti W, Mahfoudhi A (2014) Scheduling analysis based on model checking for multiprocessor real-time systems. J Supercomput 68(3):1604–1629

    Article  Google Scholar 

  23. Karamti W, Mahfoudhi A, Hadj Kacem Y (2012) Hierarchical modeling with dynamic priority time petri nets for multiprocessor scheduling analysis. In: ESA, The 2012 international conference on embedded systems and applications. Las Vegas, Nevada, pp 114–121

  24. Karamti W, Mahfoudhi A, Hadj Kacem Y (2012) Using dynamic priority time petri nets for scheduling analysis via earliest deadline first policy. In: ISPA, the 10th IEEE international symposium on parallel and distributed processing with applications, Madrid, pp 332–339

  25. Karamti W, Mahfoudhi A, Hadj Kacem Y, Abid M (2012) A formal method for scheduling analysis of a partitioned multiprocessor system: dynamic priority time petri nets. In: PECCS, Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. Italy, Rome, pp 317–326

  26. Kimmo V (1994) On combining the stubborn set method with the sleep set method. In: Valette Robert (ed) Application and theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20–24, 1994, Proceedings, vol 815 of Lecture Notes in Computer Science, pp 548–567. Springer-Verlag, Berlin, Germany, 1994. Springer-Verlag, Berlin Heidelberg

  27. Koudri A, Vojtsiek D, Soulard P, Moy C, Champeau J, Vidal J, Le Lann IC (2008) Using marte in the mopcom soc/sopc methodology. In: workshop MARTE

  28. Kwak SW, Yang J-M (2012) Optimal checkpoint placement on real-time tasks with harmonic periods. J Comput Sci Technol 27(1):105–112

    Article  MATH  Google Scholar 

  29. Kwang SH, Leung JY-T (1988) On-line scheduling of real-time tasks. In: IEEE real-time systems symposium. Huntsville, Alabama, pp 244–250

  30. Lime D, Roux OH (2009) Formal verification of real-time systems with preemptive scheduling. Real-Time Syst 41(2):118–151

    Article  MATH  Google Scholar 

  31. Liu CL, James WL (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. JACM 20:46–61

    Article  MATH  Google Scholar 

  32. Sha L, T arzén KE, Cervin A, Baker T (2004) Real time scheduling theory: a historical perspective. Real-Time Syst 28:101–155

    Article  MATH  Google Scholar 

  33. Mahfoudhi A, Hadj Kacem Y, Karamti W, Abid M (2011) Compositional specification of real time embedded systems by priority time petri nets. J Supercomput:1–26

  34. Mallet F, André C, Peraldi-Frati MA (2006) From UML to petri nets for non functional property verification. In: International Symposium on Industrial Embedded Systems, 2006. IES ’06., Antibes Juan-Les-Pins, pp 1–9, Oct 2006

  35. Mura M, Murillo LG, Prevostini M (2008) Model-based design space exploration for rtes with sysml and marte. In: FDL: forum on specification and Design Languages, Stuttgart, Germany, pp 203–208

  36. Murillo LG, Mura M, Prevostini M (2009) Semi-automated hw/sw co-design for embedded systems: from marte models to systemc simulators. In: FDL: Forum on specification and Design Languages. Sophia Antipolis, France, pp 1–6

  37. Kitano H, Veloso M, Pagello E Robocup-99: Robot soccer world cup iii. In: Velsoso (eds)

  38. Oliveira M, Brião EW, Nascimento AF, Wagner FR (2007) Model driven engineering for mpsoc design space exploration. In: SBCCI ’07: Proceedings of the 20th annual conference on Integrated circuits and systems design. ACM, New York, pp 81–86

  39. Petri CA (1962) Fundamentals of a theory of asynchronous information flow. In: IFIP Congress, pp 386–390

  40. Roux OH, Déplanche AM (2002) A t-time Petri net extension for real time-task scheduling modeling. Eur J Automat 36(7):973–987

    Google Scholar 

  41. Schmidt DC (2006) Model-driven engineering. IEEE Comput 39(2)

  42. Singhoff F, Legrand J, Nana LT, Marcé L (2004) Cheddar: a flexible real time scheduling framewor. ACM Ada Lett J 24(4):1–8

    Article  Google Scholar 

  43. Störrle H (2004) Semantics of structured nodes in uml 2.0 activities. In: Nordic Workshop on UML

  44. Störrle H (2004) Structured nodes in uml 2.0 activities. Nordic J Comput 11:279–302

    Google Scholar 

  45. Störrle H (2005) Semantics and verification of data flow in uml 2.0 activities. Electron Notes Theor Comput Sci 127(4):35–52

    Article  Google Scholar 

  46. Störrle H, Hausmann JH (2005) Towards a Formal Semantics of UML 2.0 Activities. In: Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, Essen

  47. Terrier F, Gérard S (2006) Mde benefits for distributed, real time and embedded systems. In: DIPES, vol 225 of IFIP: International federation for information processing. Springer, pp 15–24

  48. Vanderperren Y, Dehaene W (2005) The sysml profile for embedded system modelling. In: FDL: Forum on specification and Design Languages. Lausanne, Switzerland, Proceedings, pp 589–598

  49. Vidal J, de Lamotte F, Gogniat G, Soulard P, Diguet JP (2009) A co-design approach for embedded system modeling and code generation with uml and marte. In: DATE: design, automation and test in Europe, pp 226–231

  50. Yang N, Yu H, Sun H, Qian Z (2010) Mapping uml activity diagrams to analyzable petri net models. In: Proceedings of the 2010 10th International Conference on Quality Software, QSIC ’10, Washington, DC, USA, 2010. IEEE Computer Society, pp 369–372

Download references

Author information

Authors and Affiliations

  1. College of Computers and Information Technology, Taif University, Taif, Saudi Arabia

    Adel Mahfoudhi

  2. CES Laboratory, ENIS, University of Sfax, Soukra km 3,5, 1173-3000, Sfax, Tunisia

    Walid Karamti

Authors
  1. Adel Mahfoudhi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walid Karamti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Walid Karamti.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mahfoudhi, A., Karamti, W. Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets. J Supercomput 71, 3637–3667 (2015). https://doi.org/10.1007/s11227-015-1455-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-015-1455-3

Keywords

Search

Navigation