Compositional Predictability Analysis of Mixed Critical Real Time Systems

  • Abdeldjalil BoudjadarEmail author
  • Juergen Dingel
  • Boris Madzar
  • Jin Hyun Kim
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 596)


This paper introduces a compositional framework for analyzing the predictability of component-based embedded real-time systems. The framework utilizes automated analysis of tasks and communication architdepicts the structureectures to provide insight on the schedulability and data flow. The communicating tasks are gathered within components, making the system architecture hierarchical. The system model is given by a set of Parameterized Stopwatch Automata modeling the behavior and dependency of tasks, while we use Uppaal to analyze the predictability. Thanks to the Uppaal language, our model-based framework allows expressive modeling of the behavior. Moreover, our reconfigurable framework is customizable and scalable due to the compositional analysis. The analysis time and cost benefits of our framework are discussed through an avionic case study.


Task Execution Dependency Relation Predictability Analysis Dependent Task Brake Pressure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
  2. 2.
    Aussagues, C., Chabrol, D., David, V., Roux, D., Willey, N., Tournadre, A., Graniou, M.: PharOS, a multicore OS ready for safety-related automotive systems:results and future prospects. In: ERTS2 2010, May 2010Google Scholar
  3. 3.
    Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Bondarev, E., Chaudron, M., de With, P.: Compositional performance analysis of component-based systems on heterogeneous multiprocessor platforms. In: SEAA 2006, pp. 81–91, August 2006Google Scholar
  5. 5.
    Boudjadar, A., Nyman, U., Kim, J.H., Larsen, K.G., Mikučionis, M., Skou, A., David, A.: Hierarchical scheduling framework based on compositional analysis using uppaal. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 61–78. Springer, Heidelberg (2014)Google Scholar
  6. 6.
    Skou, A., Boudjadar, A., David, A., Larsen, K.G., Mikučionis, M., Nyman, U., Kim, J.H.: Widening the schedulability of hierarchical scheduling systems. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 209–227. Springer, Heidelberg (2015)Google Scholar
  7. 7.
    Boudjadar, A., David, A., Kim, J.H., Larsen, K.G., Mikucionis, M., Nyman, U., Skou, A.: A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Sci. Comput. Program. J. 113, 236–260 (2015)CrossRefGoogle Scholar
  8. 8.
    Boudjadar, A., Kim, J.H., Larsen, K.G., Nyman, U.: Compositional schedulability analysis of an avionics system using Uppaal. In: Proceedings of the International Conference on Advanced Aspects of Software Engineering ICAASE, pp. 140–147 (2014)Google Scholar
  9. 9.
    Cassez, F., Larsen, K.G.: The impressive power of stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138–152. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  10. 10.
    Larsen, K.G., Mikučionis, M., David, A., Legay, A.: Schedulability of herschel-planck revisited using statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 293–307. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  11. 11.
    Deng, Z., Liu, J.W.S.: Scheduling real-time applications in an open environment. In: RTSS, pp. 308–319 (1997)Google Scholar
  12. 12.
    Feiler, P., Lewis, B., Vestal, S.: Improving predictability in embedded real-timesystems. Technical Report CMU/SEI-2000-SR-011, Carnegie Mellon University, December 2000Google Scholar
  13. 13.
    Feng, X.A., Mok, A.K.: A model of hierarchical real-time virtual resources. In: RTSS 2002, pp. 26–35. IEEE Computer Society (2002)Google Scholar
  14. 14.
    Fredriksson, J.: Improving predictability and resource utilization in component-based embedded real-time systems. Ph.D. thesis, Mälardalen University (2008)Google Scholar
  15. 15.
    Garousi, V., Briand, L.C., Labiche, Y.: A unified approach for predictability analysis of real-time systems using UML-based control flow information (2005)Google Scholar
  16. 16.
    Henzinger, T.A.: Two challenges in embedded systems design: predictability and robustness. Philos. Trans. R. Soc. London Math. Phy. Eng. Sci. 366(1881), 3727–3736 (2008)CrossRefGoogle Scholar
  17. 17.
    Holzmann, G.: The model checker spin. IEEE Trans. Softw. Eng. 23(5), 279–295 (1997)CrossRefMathSciNetGoogle Scholar
  18. 18.
    Hooman, J.: Specification and Compositional Verification of Real-Time Systems. LNCS. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  19. 19.
    Joseph, M., Pandya, P.: Finding response times in a real-time system. Comput. J. 29(5), 390–395 (1986)CrossRefMathSciNetGoogle Scholar
  20. 20.
    Locke, C., Vogel, D., Mesler, T.: Building a predictable avionics platform in ADA: a case study. In: Proceedings of RTSS, pp. 181–189 (1991)Google Scholar
  21. 21.
    Panunzio, M., Vardanega, T.: A component-based process with separation of concerns for the development of embedded real-time software systems. J. Syst. Softw. 96, 105–121 (2014)CrossRefGoogle Scholar
  22. 22.
    Pellizzoni, R., Betti, E., Bak, S., Yao, G., Criswell, J., Caccamo, M., Kegley, R.: A predictable execution model for COTS-based embedded systems. In: RTAS 2011, pp. 269–279, April 2011Google Scholar
  23. 23.
    Pfleeger, S.L., Atlee, J.M.: Software Engineering - Theory and Practice, 4th edn. Pearson Education, Upper Saddle River (2009)Google Scholar
  24. 24.
    Purna, K., Bhatia, D.: Temporal partitioning and scheduling data flow graphs for reconfigurable computers. IEEE Trans. Comput. 48(6), 579–590 (1999)CrossRefGoogle Scholar
  25. 25.
    Stankovic, J., Ramamritham, K.: What is predictability for real-time systems? Real-Time Syst. 2(4), 247–254 (1990)CrossRefGoogle Scholar
  26. 26.
    Volvo Trucks Great Britain and Ireland. Driver support systems: Keeping anextra eye on the road.
  27. 27.
    Wang, F.: Efficient verification of timed automata with BDD-like data-structures. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 189–205. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  28. 28.
    Yau, S., Zhou, X.: Schedulability in model-based software development for distributed real-time systems. In: Proceedings of WORDS 2002, pp. 45–52 (2002)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Abdeldjalil Boudjadar
    • 1
    Email author
  • Juergen Dingel
    • 2
  • Boris Madzar
    • 2
  • Jin Hyun Kim
    • 3
  1. 1.Linköping UniversityLinköpingSweden
  2. 2.Queen’s UniversityKingstonCanada
  3. 3.INRIARennesFrance

Personalised recommendations