From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool

Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mohamed Abid

2016

Abstract

The increasing complexity of Real-Time Embedded Systems (RTES) should be met with equally sophisticated design methods. The recent Unified Modeling Language (UML) profile for Modeling and Analysis of Real- Time Embedded systems (MARTE) is well adapted for systems modeling. However along with the variety of schedulability analysis tools, bridging the gap between design models and meta-models of the documented scheduling analysis tools becomes an important issue. In this paper, we discuss a Model To Text (M2T) transformation for enabling the derivation of schedulability analysis models from UML/MARTE models. The generated model for schedulability analysis represents an input for an analysis tool. As a proof of concepts, we present the implemented code and experimental results.

References

  1. (2015). Cpn tools http://cpntools.org/.
  2. Abdeddaïm, Y., Chandarli, Y., Davis, R. I., and Masson, D. (2014). Schedulability analysis for fixed priority realtime systems with energy-harvesting. In Proceedings of the 22Nd International Conference on Real-Time Networks and Systems, RTNS 7814, pages 311:311- 311:320, New York, NY, USA. ACM.
  3. Chéramy, M., Hladik, P.-E., and Déplanche, A.-M. (2014). Simso: A simulation tool to evaluate real-time multiprocessor scheduling algorithms. In The 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, WATERS.
  4. Dorin, F., Yomsi, P. M., Goossens, J., and Richard, P. (2010). Semi-partitioned hard real-time scheduling with restricted migrations upon identical multiprocessor platforms. CoRR, abs/1006.2637.
  5. ECLIPSE (2008). Acceleo http://wiki.eclipse.org/acceleo.
  6. Gonzalez Harbour, M., Gutierrez Garcia, J., Palencia Gutierrez, J., and Drake Moyano, J. (2001). Mast: Modeling and analysis suite for real time applications. In Real-Time Systems, 13th Euromicro Conference on, 2001., pages 125-134.
  7. HadjKacem, Y., Mahfoudhi, A., Magdich, A., Karamti, W., and Abid, M. (2012). Using mde and priority time petri nets for the schedulability analysis of embedded systems modeled by uml activity diagrams. In the 19th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), pages 316-323.
  8. Hagner, M. and Huhn, M. (2008). Tool support for a scheduling analysis view. In The workshop "Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile" at DATE'08 (Design, Automation & Test in Europe).
  9. Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., and Ernst, R. (2005). System level performance analysis - the symta/s approach. Computers and Digital Techniques, IEE Proceedings -, 152(2):148-166.
  10. Jensen, K. E. (2009). Schedulability analysis of embedded applications modelled using MARTE. PhD thesis, Technical University of Denmark.
  11. Lee, J. and Shin, I. (2013). Edzl schedulability analysis in real-time multicore scheduling. IEEE Transactions on Software Engineering, 39(7):910-916.
  12. Madl, G. (2009). Model-based Analysis of Event-driven Distributed Real-time Embedded Systems. PhD thesis, Long Beach, CA, USA.
  13. Magdich, A., Hadj Kacem, Y., Mahfoudhi, A., and Abid, M. (2013a). Reducing uml/sam modeling view size for schedulability analysis. In The 1st IEEE international conference on Computer Applications Technology (ICCAT). IEEE.
  14. Magdich, A., Kacem, Y. H., and Mahfoudhi, A. (2013b). Extending uml/marte-grm for integrating tasks migrations in class diagrams. In Lee, R. Y., editor, 11th International Conference on Software Engineering Research, Management and Applications SERA (selected papers), volume 496 of Studies in Computational Intelligence, pages 73-84. Springer.
  15. Magdich, A., Kacem, Y. H., Mahfoudhi, A., and Abid, M. (2012). A MARTE extension for global scheduling analysis of multiprocessor systems. In the 23th IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 371-379.
  16. Medina, J. L. and Cuesta, A. G. (2011). From composable design models to schedulability analysis with uml and the uml profile for marte. SIGBED Rev., 8(1):64-68.
  17. Mraidha, C., Tucci-Piergiovanni, S., and Gerard, S. (2011). Optimum: A marte-based methodology for schedulability analysis at early design stages. SIGSOFT Softw. Eng. Notes, 36(1):1-8.
  18. Naija, M., Ahmed, S. B., and Bruel, J. (2015). New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages. In ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015., pages 330-338.
  19. OMG (2002). Uml profile for schedulability, performance and time.
  20. OMG (2008). A uml profile for marte: Modeling and analysis of real-time embedded systems.
  21. Ramirez, A. D., Valenzuela, D. K. O., and Mejía-Alvarez, P. (2012). A multiprocessor real-time scheduling simulation tool. In 22nd International Conference on Electrical Communications and Computers, CONIELECOMP 2012, Cholula, Puebla, Mexico, February 27- 29, 2012, pages 157-161.
  22. Rubini, S., Fotsing, C., Singhoff, F., Tran, H. N., and Dissaux, P. (2013). Scheduling analysis from architectural models of embedded multi-processor systems. EWiLi Workshop.
  23. Schmidt, D. C. (2006). Model-driven engineering. IEEE Computer, 39.
  24. Singhoff, F., Legrand, J., Nana, L., and Marcé, L. (2004). Cheddar: A flexible real time scheduling framework. In Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-time &Amp; Distributed Systems Using Ada and Related Technologies, SIGAda 7804, pages 1-8, New York, NY, USA.
  25. Urunuela, R., Déplanche, A. M., and Trinquet, Y. (2010). Storm a simulation tool for real-time multiprocessor scheduling evaluation. In Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on, pages 1-8.
  26. Zhang, F. and Burns, A. (2009). Schedulability analysis for real-time systems with edf scheduling. IEEE Transactions on Computers, 58(9):1250-1258.
Download


Paper Citation


in Harvard Style

Magdich A., Kacem Y., Mahfoudhi A. and Abid M. (2016). From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool . In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 202-209. DOI: 10.5220/0005982902020209


in Bibtex Style

@conference{icsoft-ea16,
author={Amina Magdich and Yessine Hadj Kacem and Adel Mahfoudhi and Mohamed Abid},
title={From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)},
year={2016},
pages={202-209},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005982902020209},
isbn={978-989-758-194-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)
TI - From UML/MARTE Models of Multiprocessor Real-time Embedded Systems to Early Schedulability Analysis based on SimSo Tool
SN - 978-989-758-194-6
AU - Magdich A.
AU - Kacem Y.
AU - Mahfoudhi A.
AU - Abid M.
PY - 2016
SP - 202
EP - 209
DO - 10.5220/0005982902020209