Towards a Case-Based Reasoning Approach for Safety Assurance Reuse
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse
复制标题
面向安全保证重用的基于案例的推理方法
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
H. Espinoza
中科院分区：
文献类型：
--
作者：
A. Ruiz;I. Habli;H. Espinoza
航天工业中电子系统的复杂性和规模不断增加，加上不断增长的市场需求，要求该行业实施有效的安全保障战略。重复使用安全论证和认证证据是实现这一战略的潜在手段之一。通常，当复杂的航空电子设备的发展需要重建整个安全理由时，就会出现重大问题，这往往会导致昂贵且耗时的保证和认证过程。本文研究了基于案例推理(CBR)作为表示、检索和重用先前确定的安全案例的策略的使用。安全案例模式的存在支持了这一点，安全案例模式决定了用于进一步检索安全案例的统一知识表示方案。以航空电子综合模块化平台的模块化论证开发为例，说明了该方法的可行性。
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.