Abstract
A variety of hazard analysis techniques have been proposed for software-based systems but individually the techniques are limited in their ability to cope with system complexity, or to derive and prioritise component safety requirements. There is also confusion in practice about whether the techniques are being used to assess risk or to assign targets. This paper proposes a way of integrating hazard analysis techniques to solve these problems. The resulting process enables functional safety requirements to be derived for logically complex components such as software, together with target (maximum acceptable) failure rates.
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
B. Atchison, P. A. Lindsay, and D. J. Tombs. A case study in software safety assurance using formal methods. Technical Report 99-31, Software Verification Research Centre, University of Queensland, Australia, November 1999.
R. W. Butler and G. B. Finelli. The infeasibility of experimental quantification of life-critical software reliability. ACM SigSoft, 16(5), 1991.
S. K. Dawkins, T. P. Kelly, J. A. McDermid, J. Murdoch, and D. J. Pumfrey. Issues in the conduct of the PSSA. In Proceedings of the 17th International System Safety Conference, 1999.
E. J. Henley and H. Kumamoto. Probabilistic Risk Assessment. IEEE Press, New York, 1981& 1992.
International Electrotechnical Commission. IEC 61508, Functional Safety of Electrical / Electronic / Programmable Electronic Safety Related Systems, Parts 1–7, 1999.
N. G. Leveson. Safeware: System Safety and Computers. Addison-Wesley, 1995.
P. A. Lindsay and J. A. McDermid. A systematic approach to software safety integrity levels. In P. Daniel, editor, Proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP’97), pages 70–82, Berlin, September 1997. Springer.
P. A. Lindsay, J. A. McDermid, and D. J. Tombs. A Process for Derivation and Quantification of Safety Requirements for Components of Complex Systems. Technical Report 99-46, Software Verification Research Centre, University of Queensland, Australia, December 1999.
N. H. Roberts, W. E. Vesely, D. F. Haasl, and F. F. Goldberg. Fault Tree Handbook. Systems and Reliability Research Office of U. S. Nuclear Regulatory Commission, 1981.
Society of Automotive Engineers, Warrendale PA. SAE ARP 4754, Certification considerations for highly-integrated or complex aircraft systems.
U. K. Ministry of Defence Directorate of Standardisation, Glasgow. Def Stan 00-56, Safety management requirements for defence systems, December 1996.
U. S. Department of Defense. MIL-STD-882C, System safety program requirements, September 1996.
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
Lindsay, P.A., McDermid, J.A., Tombs, D.J. (2000). Deriving Quantified Safety Requirements in Complex Systems. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_11
Download citation
DOI: https://doi.org/10.1007/3-540-40891-6_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41186-4
Online ISBN: 978-3-540-40891-8
eBook Packages: Springer Book Archive