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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Gutierrez, J.C.P., Harbour, M.G.: Schedulability analysis for tasks with static and dynamic offsets. In: RTSS, p. 26 (1998)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Richter, K.: Compositional Scheduling Analysis Using Standard Event Models - The SymTA/S Approach. Ph.D. thesis, University of Braunschweig (2005)
Tindell, K.: Adding time-offsets to schedulability analysis. Tech. rep., University of York, Computer Science Dept, YCS-94-221 (1994)
Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming 40, 117–134 (1994)
Wandeler, E.: Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems. Ph.D. thesis, ETH Zurich (September 2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)