Abstract
Hard real time (HRT) programs are correct only if they produce a correct output within a specified time. Failure to meet timing constraints can be disastrous, and can be caused by subtle bugs that are difficult to find by testing [3]. While formal methods are often proposed to deal with this problem [11], these cannot presently handle large systems in full generality. We believe that the real-time community should adopt programming language methodology, e.g., static anomaly detection, to certify that programs meet termination [9] and timing [5] constraints.
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
References
American National Standards Institute, ANSI/mil-std 1815A (1983) Reference Manual for the Ada Programming Language, U.S. Gov’t. Printing Office, 1983.
W. Clinger and J. Rees, ed., Revised Report on the Algorithmic Language Scheme, LISP Pointers, Vol. 4, No. 3, July 1, 1991.
U.S. Government Accounting Office, Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia, GAO/IMTEC-92–26, February 1992.
C.A.R. Hoare, Communicating Sequential Processes,Prentice/Hall, 1985. ISBN 0–1315–3271–5.
W.A. Halang and A.D. Stoyenko, Comparative Evaluation of High-Level Real-Time Programming Languages, Real-Time Systems, Vol. 2, No. 4, November 1990, 365–382.
W.A. Halang and A.D. Stoyenko, Constructing Predictable Real–Time Systems,Kluwer, 1991. ISBN 0–7923–9202–7.
Inmos, Ltd., Occam Programming Manual,Prentice/Hall, 1984. ISBN 0–13629296–8.
T.J. Marlowe and S.P. Masticola, Safe Optimization for Hard Real-Time Programming, 2nd IEEE Int’l. Conf. on Syst. Integration, Morristown, NJ, June 15–18, 1992.
S.P. Masticola and B.G. Ryder, A Model of Ada Programs for Static Deadlock Detection in Polynomial Time, SIGPLAN Notices Vol. 26, No. 12, December 1991, 97–107.
V. Nirkhe and W. Pugh, Partial Evaluation of High-level Imperative Languages, with Applications in Hard Real-Time Systems, ACM 19th POPL, 1992, 269–280.
J.S. Ostroff, Survey of Formal Methods for the Specification and Design of Real-Time Systems, in: Tutorial on Specifications of Time — Abstractions, Design Methods, Languages, K. M. Kavi ed., IEEE Press, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Masticola, S.P., Marlowe, T.J. (1994). Static Analysis: Hard Real Time is Hard, “Big Time!”. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_114
Download citation
DOI: https://doi.org/10.1007/978-3-642-88049-0_114
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-88051-3
Online ISBN: 978-3-642-88049-0
eBook Packages: Springer Book Archive