Conferences in Research and Practice in Information Technology
  

Online Version - Last Updated - 20 Jan 2012

 

 
Home
 

 
Procedures and Resources for Authors

 
Information and Resources for Volume Editors
 

 
Orders and Subscriptions
 

 
Published Articles

 
Upcoming Volumes
 

 
Contact Us
 

 
Useful External Links
 

 
CRPIT Site Search
 
    

A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments

Weaver, R., Fenn, J. and Kelly, T.

    The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Systems. The safety case must provide confidence that the system is deemed safe enough to operate. For system components where it is not possible to quantify the associated risks (e.g. software), current standards in the aerospace, rail and defence sectors identify design and safety processes for different Safety Integrity Levels (SILs) or Development Assurance Levels (DALs). The assumption is that components developed against the requirements of higher SILs/DALs will be less prone to critical failures and thus have a lower impact on the safety of the overall system. This paper questions this assumption and instead discusses assurance of the safety argument as a method of demonstrating the confidence that can be placed in a safety case. An industrial case study from the aerospace sector is presented to demonstrate the practical use of the concept.
Cite as: Weaver, R., Fenn, J. and Kelly, T. (2004). A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. In Proc. Eighth Australian Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. CRPIT, 33. Lindsay, P. and Cant, T., Eds. ACS. 57-67.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS
 

 

ACS Logo© Copyright Australian Computer Society Inc. 2001-2014.
Comments should be sent to the webmaster at crpit@scem.uws.edu.au.
This page last updated 16 Nov 2007