Abstract
Many real-time systems are also safety-critical, that is they are used in applications where their inappropriate behaviour, or failure, could lead to loss of life, or severe environmental damage. Examples include the flying control systems for aircraftl, reactor protection systems, and anti-lock braking systems for cars. The primary difference between the development of non-critical real-time systems and safety-critical real-time systems is that we are concerned with failures, both of the computer system and the wider system in which it is embedded. Our discussion will focus on the issue of identifying failure modes and showing that safety requirements are met, despite the fact that failures can occur.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Design Analysis Procedures for Failure Modes,Effects and Criticality Analysis (FMECA), Aerospace Recommended Practice (ARP) 926, Society of Automotive Engineers, Detroit, USA, 1967.
P.A. Bennett, Safety, Software Engineer’s Reference Book, J.A McDermid (ed ), Butterworth Heinemann, 1991.
R.W. Butler, G.B. Finelli, The Infeasibility of Experimental Quantification of Life-Critical Software Reliability, Proceedings of ACM SigSoft Conference on Software for Critical Systems, New Orleans, 1991.
Reliability Computation using Fault Trees,Technical Report NASA—CR-124740, NASA Jet Propulsion Laboratory, 1971.
S.J. Clarke, J.A. McDermid, Weakest pre-conditions and fault trees: a comparison and analysis, SEJ (to appear), 1992.
S.J. Clarke, J.A. McDermid, A Failure and Recovery Algebra, YCS 168, 1992.
P.D. Ezhilchelvan, S.K. Shrivastava, A classification of faults in systems, Technical Report, University of Newcastle upon Tyne, 1985.
P. Fenelon, J.A. McDermid, Safety CASE: An integrated toolset for software safety analysis, submitted for publication, 1992.
N.G. Leveson, J.L. Stolzy, Safety analysis of Ada programs using fault trees, IEEE Trans. on Reliability, Vol. 32, No. 5, 1983.
J.L. Mackie, Causes and Conditions, in Causation and Conditionals, ed. E. Sosa, Oxford, ouP, 1975, 15–38.
J.A. McDermid, Safety Cases and Safety Arguments, CSR Conference on System Safety, Luxembourg, 1992.
Interim Defence Standard 00–56,MoD, 1991.
Special Edition on MASCOT3,SEJ, Vol. 1, No. 3, 1986.
D. Raheja, Software System Failure Mode and Effects Analysis (SSFMEA) — A Tool for Reliability Growth, IRSM 90, Tokyo, 1990.
W.E. Vesely, Fault Tree Handbook, US Nuclear Regulatory Commission, Washington DC, USA, 1981.
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
McDermid, J.A. (1994). Safety Engineering and Assurance 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_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-88049-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-88051-3
Online ISBN: 978-3-642-88049-0
eBook Packages: Springer Book Archive