RT Conference Proceedings
T1 Towards a case-based reasoning approach for safety assurance reuse
A1 Ruiz, Alejandra
A1 Habli, Ibrahim
A1 Espinoza, Huáscar
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.
SN 9783642336744
SN 0302-9743
YR 2012
FD 2012
LK https://hdl.handle.net/11556/2504
UL https://hdl.handle.net/11556/2504
LA eng
NO Ruiz , A , Habli , I & Espinoza , H 2012 , Towards a case-based reasoning approach for safety assurance reuse . in Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops : Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 7613 LNCS , pp. 22-35 , Workshop on Computer Safety, Reliability, and Security, SAFECOMP 2012 , Magdeburg , Germany , 25/09/12 . https://doi.org/10.1007/978-3-642-33675-1_3
NO conference
DS TECNALIA Publications
RD 30 jul 2024