Contracts for Schedulability Analysis

  • Philipp ReinkemeierEmail author
  • Albert Benveniste
  • Werner Damm
  • Ingo Stierand
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9268)


In this paper we propose a framework of Assume / Guarantee contracts for schedulability analysis. Unlike previous work addressing compositional scheduling analysis, our objective is to provide support for the OEM / supplier subcontracting relation. The adaptation of Assume / Guarantee contracts to schedulability analysis requires some care, due to the handling of conflicts caused by shared resources. We illustrate our framework in the context of Autosar methodology now popular in the automotive industry sector.


Time Slot Precedence Constraint Original Equipment Manufacturer Schedulability Analysis Abstract Semantic 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Weiss, G.: Regular specifications of resource requirements for embedded control software. In: Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, pp. 159–168. IEEE Computer Society (2008)Google Scholar
  2. 2.
    Alur, R., Weiss, G.: RTComposer: a framework for real-time components with scheduling interfaces. In: Proceedings of the 8th ACM & IEEE International Conference on Embedded Software, EMSOFT 2008, pp. 159–168. ACM (2008)Google Scholar
  3. 3.
    Anand, M., Fischmeister, S., Lee, I.: A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-Time Systems. ACM Trans. Embedded Comput. Syst. 13(1), 2 (2013)CrossRefGoogle Scholar
  4. 4.
    Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200–225. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  5. 5.
    Boudjadar, A., David, A., Kim, J.H., Larsen, K.G., Mikučionis, M., Nyman, U., Skou, A.: 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
  6. 6.
    Boudjadar, A., Kim, J.H., Larsen, K.G., Nyman, U.: Compositional schedulability analysis of an avionics system using UPPAAL. In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, November 2–4, pp. 140–147 (2014)Google Scholar
  7. 7.
  8. 8.
  9. 9.
  10. 10.
    Easwaran, A., Lee, I., Sokolsky, O., Vestal, S.: A Compositional scheduling framework for digital avionics systems. In: 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, Beijing, China, August 24–26, pp. 371–380 (2009)Google Scholar
  11. 11.
    Lampka, K., Perathoner, S., Thiele, L.: Component-based system design: analytic real-time interfaces for state-based component implementations. STTT 15(3), 155–170 (2013)CrossRefGoogle Scholar
  12. 12.
    Lukasiewycz, M., Schneider, R., Goswami, D., Chakraborty, S.: Modular scheduling of distributed heterogeneous time-triggered automotive systems. In: Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, pp. 665–670 (2012)Google Scholar
  13. 13.
    Marimuthu, S.P., Chakraborty, S.: A Framework for compositional and hierarchical real-time scheduling. In: 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), August 16–18, Sydney, Australia, pp. 91–96 (2006)Google Scholar
  14. 14.
    Phan, L.T.X., Lee, J., Easwaran, A., Ramaswamy, V., Chen, S., Lee, I., Sokolsky, O.: CARTS: A Tool for Compositional Analysis of Real-Time Systems. SIGBED Review 8(1), 62–63 (2011)CrossRefGoogle Scholar
  15. 15.
    Reinkemeier, P., Stierand, I.: Compositional timing analysis of real-time systems based on resource segregation abstraction. In: Schirner, G., Götz, M., Rettberg, A., Zanella, M.C., Rammig, F.J. (eds.) IESS 2013. IFIP AICT, vol. 403, pp. 181–192. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  16. 16.
    Reinkemeier, P., Stierand, I.: Real-Time Contracts - A Contract Theory Considering Resource Supplies and Demands. Reports of SFB/TR 14 AVACS 100, SFB/TR 14 AVACS, July 2014.
  17. 17.
    Shin, I., Lee, I.: Compositional real-time scheduling framework. In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), December 5–8, Lisbon, Portugal, pp. 57–67 (2004)Google Scholar
  18. 18.
    Stierand, I., Reinkemeier, P., Bhaduri, P.: Virtual integration of real-time systems based on resource segregation abstraction. In: Legay, A., Bozga, M. (eds.) FORMATS 2014. LNCS, vol. 8711, pp. 206–221. Springer, Heidelberg (2014) Google Scholar
  19. 19.
    Stierand, I., Reinkemeier, P., Gezgin, T., Bhaduri, P.: Real-time scheduling interfaces and contracts for the design of distributed embedded systems. In: 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19–21, pp. 130–139 (2013)Google Scholar
  20. 20.
    Stoimenov, N., Chakraborty, S., Thiele, L.: Interface-based design of real-time systems. In: Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years), pp. 83–101 (2012)Google Scholar
  21. 21.
    Thiele, L., Wandeler, E., Stoimenov, N.: Real-time interfaces for composing real-time systems. In: Proceedings of the 6th ACM & IEEE International Conference on Embedded Software, EMSOFT 2006, October 22–25, Seoul, Korea, pp. 34–43 (2006)Google Scholar
  22. 22.
    Wandeler, E., Thiele, L.: Interface-based design of real-time systems with hierarchical scheduling. In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), April 4–7, San Jose, California, USA, pp. 243–252 (2006)Google Scholar
  23. 23.
    Weiss, G., Alur, R.: Automata based interfaces for control and scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 601–613. Springer, Heidelberg (2007) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Philipp Reinkemeier
    • 1
    Email author
  • Albert Benveniste
    • 2
  • Werner Damm
    • 1
    • 3
  • Ingo Stierand
    • 3
  1. 1.OffisOldenburgGermany
  2. 2.Inria-RennesRennesFrance
  3. 3.Department of Computer SciencesUniversity of OldenburgOldenburgGermany

Personalised recommendations