Advertisement

Using a Software Safety Argument Pattern Catalogue: Two Case Studies

  • Richard Hawkins
  • Kester Clegg
  • Rob Alexander
  • Tim Kelly
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6894)

Abstract

Software safety cases encourage developers to carry out only those safety activities that actually reduce risk. In practice this is not always achieved. To help remedy this, the SSEI at the University of York has developed a set of software safety argument patterns. This paper reports on using the patterns in two real-world case studies, evaluating the patterns’ use against criteria that includes flexibility, ability to reveal assurance decits and ability to focus the case on software contributions to hazards. The case studies demonstrated that the safety patterns can be applied to a range of system types regardless of the stage or type of development process, that they help limit safety case activities to those that are significant for achieving safety, and that they help developers nd assurance deficits in their safety case arguments. The case study reports discuss the difficulties of applying the patterns, particularly in the case of users who are unfamiliar with the approach, and the authors recognise in response the need for better instructional material. But the results show that as part of the development of best practice in safety, the patterns promise signicant benets to industrial safety case creators.

Keywords

Unmanned Aerial Vehicle Inertial Measurement Unit Safety Requirement Safety Property Fault Tree Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Hawkins, R., Kelly, T.: A Systematic Approach for Developing Software Safety Arguments. In: Proceedings of the 27th International System Safety Conference, Huntsville, AL (2009)Google Scholar
  2. 2.
    Menon C., Hawkins R., McDermid J.: Interim standard of best practice on software in the context of DS 00-56 Issue 4. Technical Report SSEI-BP-000001. Software Systems Engineering Initiative, York (2009), https://ssei.org.uk/documents/
  3. 3.
    Weaver, R.A.: The safety of Software - Constructing and Assuring Arguments. PhD thesis, Department of Computer Science, The University of York (2003)Google Scholar
  4. 4.
    Kelly, T.: Arguing Safety - A Systematic Approach to Managing Safety Cases. PhD thesis, Department of Computer Science, The University of York (1998)Google Scholar
  5. 5.
    Ye, F.: Justifying the Use of COTS Components within Safety Critical Applications. PhD thesis, Department of Computer Science, The University of York (2005)Google Scholar
  6. 6.
    Barnes, J.: High Integrity Ada - The SPARK Approach. Addison Wesley, Reading (1997)zbMATHGoogle Scholar
  7. 7.
    Hawkins, R., Kelly, T., Knight, J., Graydon, P.: A New Approach to Creating Clear Safety Arguments. In: Proceedings of the Nineteenth Safety-Critical Systems Symposium (SSS 2011), Southampton (2011)Google Scholar
  8. 8.
    Jaffe, M., Busser, R., Daniels, D., Delseny, H., Romanski, G.: Progress Report on Some Proposed Upgrades to the Conceptual Underpinnings of DO178B/ED-12B. In: Proceedings of the 3rd IET International Conference on System Safety (2008)Google Scholar
  9. 9.
    Systems Engineering for Autonomous Systems (SEAS) Defence Technology Centre (DTC) http://www.seasdtc.com/
  10. 10.
    Bardo B.: Autonomous Systems — A New Partnership Between Man and Machine. Presentation to SEAS DTC (2010), http://www.innovate10.co.uk/uploads/BillBardo-theSEASDTC.pdf
  11. 11.
    Alexander, R., Herbert, N., et al.: Deriving Safety Requirements for Autonomous Systems. In: Proceedings of the 4th SEAS DTC Technical Conference, Edinburgh (2009)Google Scholar
  12. 12.
    Lamsweerde, A.: Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice. In: Proceedings of the Requirements Engineering Conference, 12th IEEE International (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Richard Hawkins
    • 1
  • Kester Clegg
    • 1
  • Rob Alexander
    • 1
  • Tim Kelly
    • 1
  1. 1.The University of YorkYorkU.K.

Personalised recommendations