Towards a case-based reasoning approach for safety assurance reuse

Simple item page
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorHabli, Ibrahim
dc.contributor.authorEspinoza, Huáscar
dc.contributor.institutionQuantum
dc.contributor.institutionTecnalia Research & Innovation
dc.date.accessioned2024-07-24T11:55:21Z
dc.date.available2024-07-24T11:55:21Z
dc.date.issued2012
dc.description.abstractThe 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.en
dc.description.statusPeer reviewed
dc.format.extent14
dc.identifier.citationRuiz , 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
dc.identifier.citationconference
dc.identifier.doi10.1007/978-3-642-33675-1_3
dc.identifier.isbn9783642336744
dc.identifier.issn0302-9743
dc.identifier.urihttps://hdl.handle.net/11556/2504
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=84868103350&partnerID=8YFLogxK
dc.language.isoeng
dc.relation.ispartofComputer Safety, Reliability, and Security - SAFECOMP 2012 Workshops
dc.relation.ispartofseriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subject.keywordsavionics
dc.subject.keywordscased-based reasoning
dc.subject.keywordscertification
dc.subject.keywordssafety assurance
dc.subject.keywordsTheoretical Computer Science
dc.subject.keywordsGeneral Computer Science
dc.titleTowards a case-based reasoning approach for safety assurance reuseen
dc.typeconference output
Files