From Dynamic UML/MARTE Models to Early Schedulability Analysis of RTES with Dependent Tasks

  • Amina MagdichEmail author
  • Yessine Hadj Kacem
  • Bouthaina Dammak
  • Adel Mahfoudhi
  • Mohamed Abid
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 941)


The process of verifying whether Real-Time Embedded Systems (RTES) meet their temporal requirements is a major step during the system design. This step, called schedulability analysis, must be carried out at early design stages to avoid system failures. Currently, researchers are interested in using high-level techniques to raise the abstraction level and reduce the designers’ effort. Nevertheless, only the scheduling approaches that prohibit task migration have been supported. An attempt to consider semi-partitioned and global scheduling approaches, which allow task migration, has been recently proposed. However, it doesn’t support dependent tasks. In this context, this paper proposes an automatic process for early schedulability analysis considering dependent tasks and scheduling approaches with task migration. The focus is on the transformation of dynamic models annotated through the Unified Modeling Language (UML) profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) to the model of SimSo tool.


Semi-partitioned scheduling Global scheduling MARTE MDE Dynamic models SimSo Model to Text transformation 


  1. 1.
    Chéramy, M., Hladik, P.-E., Déplanche, A.-M.: SimSo: a simulation tool to evaluate real-time multiprocessor scheduling algorithms. In: WATERS 2014 (2014)Google Scholar
  2. 2.
    Gonzalez Harbour, M., Gutierrez Garcia, J.J., Palencia Gutierrez, J.C., Drake Moyano, J.M.: Mast: modeling and analysis suite for real time applications. In: 2001 13th Euromicro Conference on Real-Time Systems, pp. 125–134 (2001)Google Scholar
  3. 3.
    Jensen, K.E.A.: Schedulability analysis of embedded applications modelled using MARTE. Ph.D. thesis, Technical University of Denmark (2009)Google Scholar
  4. 4.
    Manacero Jr., A.: Real time systems (2006).
  5. 5.
    Madl, G.: Model-based analysis of event-driven distributed real-time embedded systems. Ph.D. thesis, Long Beach, CA, USA (2009)Google Scholar
  6. 6.
    Magdich, A., Kacem, Y.H., Mahfoudhi, A., Abid, M.: From UML/MARTE models of multiprocessor real-time embedded systems to early schedulability analysis based on SimSo tool. In: ICSOFT, Lisbon, Portugal (2016)Google Scholar
  7. 7.
    Medina, J.L., Cuesta, Á.G.: From composable design models to schedulability analysis with UML and the UML profile for MARTE. SIGBED Rev. 8(1), 64–68 (2011)CrossRefGoogle Scholar
  8. 8.
    Naija, M., Ahmed, S.B., Bruel, J.-M.: New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages. In: ICSOFT-EA 2015, Colmar, Alsace, France, 20–22 July 2015, pp. 330–338 (2015)Google Scholar
  9. 9.
    Rubini, S., Fotsing, C., Singhoff, F., Tran, H.N., Dissaux, P.: Scheduling analysis from architectural models of embedded multi-processor systems. In: EWiLi Workshop (2013)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Amina Magdich
    • 1
    Email author
  • Yessine Hadj Kacem
    • 2
  • Bouthaina Dammak
    • 1
  • Adel Mahfoudhi
    • 3
  • Mohamed Abid
    • 3
  1. 1.College of CommunityPrincess Nourah bint Abdulrahman UniversityRiyadhSaudi Arabia
  2. 2.College of Computer ScienceKing Khalid UniversityAbhaSaudi Arabia
  3. 3.CES LaboratoryNational School of Engineers of Sfax (ENIS)SfaxTunisia

Personalised recommendations