Skip to main content

A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems

  • Conference paper
Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6416))

Abstract

During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve a wide acceptance in industrial companies, the analysis must be as accurate as possible and as fast as possible. The system context of the tasks has to be considered in order to accomplish an exact analysis. As this leads to longer analysis times, there is a tradeoff between accuracy and runtime. This paper introduces a general approach for the description of dependencies between tasks in distributed hard real-time systems that is able to scale the exactness and the runtime of the analysis. We will show how this concept can be applied to a real automotive application.

This work is supported in part by the Carl Zeiss Foundation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Albers, K., Slomka, F.: An event stream driven approximation for the analysis of real- time systems. In: ECRTS 2004: Proceedings of the 16th Euromicro Conference on Real-Time Systems, pp. 187–195. IEEE, Los Alamitos (July 2004)

    Chapter  Google Scholar 

  2. Gresser, K.: An event model for deadline verification of hard real-time systems. In: Proceedings of the 5th Euromicro Workshop on Real-Time Systems (1993)

    Google Scholar 

  3. Gutierrez, J.C.P., Harbour, M.G.: Schedulability analysis for tasks with static and dynamic offsets. In: RTSS, p. 26 (1998)

    Google Scholar 

  4. Gutierrez, J.C.P., Harbour, M.G.: Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: IEEE Real-Time Systems Symposium, pp. 328–339 (1999)

    Google Scholar 

  5. Henia, R., Ernst, R.: Context-aware scheduling analysis of distributed systems with tree-shaped task-dependencies. In: DATE 2005: Proceedings of the conference on Design, Automation and Test in Europe, pp. 480–485 (2005)

    Google Scholar 

  6. Henia, R., Ernst, R.: Improved offset-analysis using multiple timing-references. In: DATE 2006: Proceedings of the conference on Design, automation and test in Europe, pp. 450–455 (2006)

    Google Scholar 

  7. Jonas Rox, R.E.: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks. In: Proc. Design, Automation and Test in Europe (DATE 2010) (March 2010)

    Google Scholar 

  8. Kollmann, S., Albers, K., Slomka, F.: Effects of simultaneous stimulation on the event stream densities of fixed-priority systems. In: Spects 2008: Proceedings of the International Simulation Multi-Conference, IEEE, Los Alamitos (June 2008)

    Google Scholar 

  9. Kollmann, S., Pollex, V., Slomka, F.: Holisitc real-time analysis with an expressive event model. In: proceedings of the 13th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2010)

    Google Scholar 

  10. Kuenzli, S., Hamann, A., Ernst, R., Thiele, L.: Combined approach to system level performance analysis of embedded systems. In: CODES+ISSS 2007: Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, pp. 63–68. ACM, New York (2007)

    Chapter  Google Scholar 

  11. Lehoczky, J.P.: Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proceedings of the 11th IEEE Real-Time Systems Symposium, pp. 201–209 (December 1990)

    Google Scholar 

  12. Pellizzoni, R., Lipari, G.: Improved schedulability analysis of real-time transactions with earliest deadline scheduling. In: RTAS 2005: Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium, pp. 66–75 (2005)

    Google Scholar 

  13. Redell, O.: Analysis of tree-shaped transactions in distributed real-time systems. In: ECRTS 2004: Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), pp. 239–248 (2004)

    Google Scholar 

  14. Richter, K.: Compositional Scheduling Analysis Using Standard Event Models - The SymTA/S Approach. Ph.D. thesis, University of Braunschweig (2005)

    Google Scholar 

  15. Tindell, K.: Adding time-offsets to schedulability analysis. Tech. rep., University of York, Computer Science Dept, YCS-94-221 (1994)

    Google Scholar 

  16. Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming 40, 117–134 (1994)

    Article  Google Scholar 

  17. Wandeler, E.: Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems. Ph.D. thesis, ETH Zurich (September 2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kollmann, S., Pollex, V., Kempf, K., Slomka, F. (2010). A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16561-0_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16560-3

  • Online ISBN: 978-3-642-16561-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics