TY - GEN
T1 - Towards a case-based reasoning approach for safety assurance reuse
AU - Ruiz, Alejandra
AU - Habli, Ibrahim
AU - Espinoza, Huáscar
PY - 2012
Y1 - 2012
N2 - The increasing complexity and size of electronic systems in the aerospace industry, combined with the growing market demand, requires the industry to implement an efficient safety assurance strategy. Reuse of safety argumentation and evidence for certification is one of the potential means for achieving such a strategy. Typically, major problems arise when the evolution of complex avionics entails the reconstruction of the entire body of safety justification, often resulting in expensive and time-consuming assurance and certification processes. This paper investigates the use of Case-Based Reasoning (CBR) as a strategy for representing, retrieving and reusing previously assured safety cases. This is supported by the existence of patterns of safety cases, which determine a unified knowledge representation scheme for retrieving further safety cases. We illustrate the approach with the development of modular argumentation for an Integrated Modular Avionics (IMA) platform.
AB - The increasing complexity and size of electronic systems in the aerospace industry, combined with the growing market demand, requires the industry to implement an efficient safety assurance strategy. Reuse of safety argumentation and evidence for certification is one of the potential means for achieving such a strategy. Typically, major problems arise when the evolution of complex avionics entails the reconstruction of the entire body of safety justification, often resulting in expensive and time-consuming assurance and certification processes. This paper investigates the use of Case-Based Reasoning (CBR) as a strategy for representing, retrieving and reusing previously assured safety cases. This is supported by the existence of patterns of safety cases, which determine a unified knowledge representation scheme for retrieving further safety cases. We illustrate the approach with the development of modular argumentation for an Integrated Modular Avionics (IMA) platform.
KW - avionics
KW - cased-based reasoning
KW - certification
KW - safety assurance
UR - http://www.scopus.com/inward/record.url?scp=84868103350&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-33675-1_3
DO - 10.1007/978-3-642-33675-1_3
M3 - Conference contribution
AN - SCOPUS:84868103350
SN - 9783642336744
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 22
EP - 35
BT - Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops
T2 - Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012
Y2 - 25 September 2012 through 28 September 2012
ER -