Skip to main content

An Assessment Methodology for Safety Critical Computer Based Systems

  • Conference paper
Safety and Reliability of Software Based Systems

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lawson, H. W. Parallel Processing in Industrial Real-Time Applications,Prentice-Hall, Englewood Cliffs, NJ, ISBN 0-13-654518-1.

    Google Scholar 

  2. Lawson, H.W. Assessment of Safety Critical Embedded Control Systems — A Safety Case Approach,report prepared for the Swedish Defence Materiel Administration.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. Leveson, N.G. Safeware,Addison–Wesley, Reading, MA, ISBN 0-201-11972-2.

    Google Scholar 

  6. McDermid, J.A. Safety Cases and Safety Arguments, CSR Conference on Software Safety,Luxembourg.

    Google Scholar 

  7. Pyle, I.C. Developing Safety Systems: A Guide Using Ada,Prentice–Hall, Hemel–Hempstead, ISBN 0-13-204298-3.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics