Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach

ABSTRACT

Despite various analysis models and tests proposed by the real-time community to validate the temporal performance of hard real-time systems, several cases derived from industrial practices do not find their corresponding tests in standard schedulability analysis tools. They need to be transformed and adapted in terms of qualitative and quantitative information while remaining conservative. The current state-of-practice of transformation relies solely on designers expertise. As a result, the adaptation/transformation task tends to be time- and effort-intensive.

This paper proposes to capitalize adaptation efforts by storing them in a repository, hence designers can be helped to automatically transform and adapt their practical designs to analyzable models while staying conservative. Thanks to model-driven engineering settings the capitalization is illustrated by the implementation of a repository as a decision support and the automatic adaptation relies on model-based transformations. Also, a case study is presented to stress the importance of our contribution.

References

1. RealTime at Work. 2017. RTaW-Pegase. http://www.realtimeatwork.com/softtware/rtaw-pegase/. (2017). Accessed: 2017-07-17.
2. S. K. Baruah, A. K. Mok, and L. E. Rosier. 1990. Preemptively scheduling hard-real-time sporadic tasks on one processor. In {1990} Proceedings 11th Real-Time Systems Symposium. 182--190.
3. Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, and Dario Varano. 2017. Modeling and generation of secure component communications in AUTOSAR. In Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3--7, 2017. 1473--1480.
4. Peter H. Feiler and David P. Gluch. 2012. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (1st ed.). Addison-Wesley Professional.
5. Joël Goossens. 2003. Scheduling of offset free systems. Real-Time Systems 24, 2 (2003), 239--258.
6. M. González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez, and J. M. Drake Moyano. 2001. MAST: Modeling and Analysis Suite for Real Time Applications. In Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS '01). IEEE Computer Society, Washington, DC, USA, 125--. http://dl.acm.org/citation.cfm?id=871910.871923
7. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. 2005. System level performance analysis - the SymTA/S approach. IEEE Proceedings - Computers and Digital Techniques 152, 2 (Mar 2005), 148--166.
8. Rafik Henia, Laurent Rioux, and Nicolas Sordon. 2013. TEMPO: Performance Viewpoint for Component-based Design of Real-time Systems. SIGBED Rev. 10, 2 (July 2013), 12--12.
9. Frédéric Jouault, Freddy Allilaire, Jean Bézivin, and Ivan Kurtev. 2008. ATL: A model transformation tool. Science of Computer Programming 72, 1 (2008), 31 -- 39. Special Issue on Second issue of experimental software and toolkits (EST).
10. Brendan P Mahony and Ian J Hayes. 1992. A case-study in timed refinement: A mine pump. IEEE transactions on Software Engineering 18, 9 (1992), 817--826.
11. Chokri Mraidha, Sara Tucci-Piergiovanni, and Sebastien Gerard. 2011. Optimum: A MARTE-based Methodology for Schedulability Analysis at Early Design Stages. SIGSOFT Softw. Eng. Notes 36, 1 (Jan. 2011), 1--8.
12. OMG. 2006. Object Constraint Language, OMG Available Specification, Version 2.0. (2006).
13. OMG. 2015. UML profile for MARTE: modeling and analysis of real-time embedded systems. (2015).
14. OMG. 2015. Unified Modeling Language (UML) version 2.5. OMG Specification (2015).
15. OMG. 2017. Query/view/transformation QVT. http://www.omg.org/spec/QVT/. (2017). Accessed: 2017-07-17.
16. Yassine Ouhammou. 2013. Model-based Framework for Using Advanced Scheduling Theory in Real-Time Systems Design. Ph.D. Dissertation. ENSMA.
17. Yassine Ouhammou, Emmanuel Grolleau, Michael Richard, and Pascal Richard. 2012. Reducing the gap between Design and Scheduling. In 20th International Conference on Real-Time and Network Systems, ACM (Ed.). ACM, Nancy, France, 10.
18. Yassine Ouhammou, Emmanuel Grolleau, Michael Richard, and Pascal Richard. 2014. Towards a model-based approach guiding the scheduling analysis of real-time systems design. In International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2014). 19--24.
19. Luca Santinelli and Liliana Cucu-Grosjean. 2015. A Probabilistic Calculus for Probabilistic Real-Time Systems. ACM Trans. Embed. Comput. Syst. 14, 3, Article 52 (April 2015), 30 pages.
20. Douglas C Schmidt. 2006. Model-driven engineering. COMPUTER-IEEE COMPUTER SOCIETY -- 39, 2 (2006), 25.
21. Lui Sha, Tarek Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, and Aloysius K Mok. 2004. Real time scheduling theory: A historical perspective. Real-time systems 28, 2--3 (2004), 101--155.
22. F. Singhoff, J. Legrand, L. Nana, and L. Marcé. 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 & Distributed Systems Using Ada and Related Technologies (SIGAda '04). ACM, New York, NY, USA, 1--8.
23. Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2008. EMF: Eclipse Modeling Framework. Pearson Education.

Index Terms

• Computer systems organization

  • Real-time systems

    • Real-time system architecture

    • Real-time system specification

• Software and its engineering

  • Software creation and management

    • Software verification and validation

      • Process validation

  • Software organization and properties

    • Contextual software domains

      • Operating systems

        • Process management

          • Scheduling