Abstract
In this paper a worst-case execution time (WCET) analysis of programs written in synchronous programming languages like ESTEREL is presented. Synchronous languages allow the building of deterministic systems and additionally enable formal verification techniques to be applied. Executable programs can behave synchronously if they fulfill certain temporal requirements. Therefore worst-case execution time analysis has to be applied to the programs generated by the synchronous language development environment. The paper gives a short overview about existing static worst-case execution time approaches and discusses the problems to be addressed by WCET analysis of synchronous programs. A concept for static analysis on a high level of abstraction is proposed. The concept is evaluated by means of a steer-by-wire demonstrator.
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.
Similar content being viewed by others
References
Ringler, T., Steiner, J., Belschner, R., Hedenetz, B.: Increasing System Safety for by-wire Applications in Vehicles by using a Time Triggered Architecture, Safecomp, Heidelberg (1998)
Kopetz, H., et al.: A Prototype Implementation of a TTP/C Controller, SAE Technical Paper Series, 970296 (February 1997)
Berry, G., Gonthier, G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming 19(2), 87–152 (1992)
Gunzert, M.: Building Safety Critical Real-Time Systems with Synchronous Software Components. In: IFAC Workshop on Real-Time Programming WRTP 1999, Schloß Dagstuhl, Germany (1999)
Gunzert, M., Ringler, T.: ViPER – A Component-Based Approach for Designing Real-Time Systems. In: Proc. ISA TEC INTERKAMA 1999, Düsseldorf (1999)
Puschner, P.: Timing Analysis for Real-Time Programs, Ph.D. Thesis, Institut für Technische Informatik, Vienna University of Technology (1993)
Li, Y., Malik, S.: Performance Analysis of Real-Time embedded Software. Kluwer Academic Publishers, Bosten (1999)
Park, C.Y.: Predicting Deterministic Execution Times of Real-Time Programs Ph.D. Thesis, University of Washington, Seattle 98195 (August 1992)
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers Principles, Techniques and Tools. Addison-Wesley, Reading (1986) ISBN 0-201-10194-7
Mok, A.K., et al.: Evaluating Tight Execution Time Bounds of Programs by Annotations. In: Proceedings of the 6th IEEE Workshop on Real-Time Operating Systems and Software, pp. 74–80 (May 1989)
Puschner, P., Koza, C.: Calculating the Maximum Execution Time of Real-Time Programs. Journal of Real-Time Systems 1(2), 159–176 (1989); Reprint in IEEE Tutorial: Advances in Real-Time Systems, pp. 322- 339. IEEE Computer Society Press, Los Alamitos (1993)
Puschner, P., Nossal, R.: Testing the Results of Static Worst-Case ExecutionTime Analysis. In: IEEE Real-Time Systems Symposium, Madrid, Spain (1998)
Berry, G.: The Foundations of Ersterel, Proof, Language and Interaction: Essays in Honour of Milner, R., Plotkin, G., Stirling, C., Tofte, M. (eds.). MIT Press, Cambridge (1998)
The Common Format of Synchronous Languages - The Declarative Code DC, Version 1.0, Ecole des Mines de Paris and INRIA, 2004 Route des Lucioles, 06904 Sophia-Antipolis CDX (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ringler, T. (2000). Static Worst-Case Execution Time Analysis of Synchronous Programs. In: Keller, H.B., Plödereder, E. (eds) Reliable Software Technologies Ada-Europe 2000. Ada-Europe 2000. Lecture Notes in Computer Science, vol 1845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722060_8
Download citation
DOI: https://doi.org/10.1007/10722060_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67669-0
Online ISBN: 978-3-540-45098-6
eBook Packages: Springer Book Archive