International Conference on Computer Safety, Reliability, and Security

SAFECOMP 2012: Computer Safety, Reliability, and Security pp 1-12

A Lightweight Methodology for Safety Case Assembly

  • Ewen Denney
  • Ganesh Pai
Conference paper

DOI: 10.1007/978-3-642-33678-2_1

Volume 7612 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Denney E., Pai G. (2012) A Lightweight Methodology for Safety Case Assembly. In: Ortmeier F., Daniel P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2012. Lecture Notes in Computer Science, vol 7612. Springer, Berlin, Heidelberg

Abstract

We describe a lightweight methodology to support the automatic assembly of safety cases from tabular requirements specifications. The resulting safety case fragments provide an alternative, graphical, view of the requirements. The safety cases can be modified and augmented with additional information. In turn, these modifications can be mapped back to extensions of the tabular requirements, with which they are kept consistent, thus avoiding the need for engineers to maintain an additional artifact. We formulate our approach on top of an idealized process, and illustrate the applicability of the methodology on excerpts of requirements specifications for an experimental Unmanned Aircraft System.

Keywords

Safety cases Formal methods Automation Requirements Unmanned Aircraft Systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ewen Denney
    • 1
  • Ganesh Pai
    • 1
  1. 1.SGT / NASA Ames Research CenterMoffett FieldUSA