Abstract
We believe that formal methods are both under-used and over-sold and consider here when and to what extent it is appropriate to use formal methods in the development of safety critical systems.
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
Audsley, N. C. and Burns, A., Scheduling Real-Time Systems, YCS 134, Dept. of Computer Science, University of York, 1990.
Audsley, N. C., Richardson, A. B. M. F. and Wellings, A. J., Hard Real-Time Scheduling: The Deadline Monotonic Approach, Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, Atlanta, GA, USA, 1991.
Jahanian, F. and Mok, A. K., Safety Analysis of Timing Properties in Real-Time Systems, IEEE Transactions on Software Engineering SE-12(9), 1986, 890–903.
Leveson, N. G. and Harvey, P. R., Analyzing Software Safety, Transactions on Software Engineering SE-9(9), 1983, 569–579.
Tindell, K., Burns, A. and Wellings, A., Allocating Real-Time Tasks (An NP-Hard Problem made Easy),Real Time Systems, 1992. to appear.
Zhang, N., Burns, A. and Nicholson, M., Analysing Assembler Code for Program Execution Time Estimation, Spirits Workshop, 1992.
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
Barroca, L., McDermid, J. (1994). Formal Methods for Real-Time Systems. 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_71
Download citation
DOI: https://doi.org/10.1007/978-3-642-88049-0_71
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-88051-3
Online ISBN: 978-3-642-88049-0
eBook Packages: Springer Book Archive