Ruiz, AlejandraHabli, IbrahimEspinoza, Huáscar2024-07-242024-07-242012Ruiz , 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_3conference97836423367440302-9743https://hdl.handle.net/11556/2504The 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.14enginfo:eu-repo/semantics/restrictedAccessTowards a case-based reasoning approach for safety assurance reuseconference output10.1007/978-3-642-33675-1_3avionicscased-based reasoningcertificationsafety assuranceTheoretical Computer ScienceGeneral Computer Sciencehttp://www.scopus.com/inward/record.url?scp=84868103350&partnerID=8YFLogxK