Abstract
Highlights of an assessment methodology for safety critical computer based systems are presented. The methodology establishes a framework for stakeholder understanding of important properties and issues. Within the framework, the nature of underlying engineering activities, the attributes of the product as well as the activities of the provision process are examined. A safety case approach is advocated where providers of safety critical systems should “a priori” assume that legal action has been brought against them for the product they are about to produce. The methodology examines the product/project at various levels to assure that providers have taken “all reasonable steps” to assure product safety. Two sets of safety related questions are posed (basic and penetrating) which reflect the levels of assessment. The work presented is being developed for the Swedish Defence Materiel Administration.
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
Lawson, H. W. Parallel Processing in Industrial Real-Time Applications,Prentice-Hall, Englewood Cliffs, NJ, ISBN 0-13-654518-1.
Lawson, H.W. Assessment of Safety Critical Embedded Control Systems — A Safety Case Approach,report prepared for the Swedish Defence Materiel Administration.
Lawson, H. W. Introducing the Engineering of Computer-Based Systems, Proceedings of the 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems, IEEE Computer Society Press, Los Alamitos, CA, May 1994.
Lawson, H.W. Assessment of Safety Critical Embedded Control Systems, Software Technology Conference — Architecting the Information Highway for the Warrior, Salt Lake City, April, 1995.
Leveson, N.G. Safeware,Addison–Wesley, Reading, MA, ISBN 0-201-11972-2.
McDermid, J.A. Safety Cases and Safety Arguments, CSR Conference on Software Safety,Luxembourg.
Pyle, I.C. Developing Safety Systems: A Guide Using Ada,Prentice–Hall, Hemel–Hempstead, ISBN 0-13-204298-3.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Lawson, H.W. (1997). An Assessment Methodology for Safety Critical Computer Based Systems. In: Shaw, R. (eds) Safety and Reliability of Software Based Systems. Springer, London. https://doi.org/10.1007/978-1-4471-0921-1_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0921-1_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-76034-4
Online ISBN: 978-1-4471-0921-1
eBook Packages: Springer Book Archive