Towards a case-based reasoning approach for safety assurance reuse
No Thumbnail Available
Identifiers
Publication date
2012
Advisors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Export
Abstract
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.
Description
Type
Citation
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
conference
conference