系统级软件FMEA计算机辅助设计研究

软件失效模式和影响分析(SFMEA)是提高软件可靠性的一种重要方法。针对人工SFMEA分析费时费力的问题,着眼于SFMEA的分析过程,对系统级SFMEA计算机辅助设计及相应辅助工具的实现展开了研究,介绍了系统级SFMEA分析的具体步骤,提出了对软件功能单元建模辅助生成软件约定层次,由已有通用失效模式库和相邻层次分析结果辅助获取软件失效模式、软件失效原因和纠正措施辅助设计等,并在此基础上开发了相应的辅助工具,从而减少SFMEA的分析工作量,提高SFMEA分析的效率。

软件FMEA技术的应用策略

从软件FMEA的可操作性角度出发,对软件FMEA的工作原理、所适用对象和应用策略等几个方面进行了阐述,并对其应用策略的具体实施阶段、分析粒度、实施步骤、分析过程进行了较为详细的描述,旨在进一步应用推广软件FMEA技术。

软件FMEA在核级仪控系统平台(和睦系统)中的研究与实践

软件失效模式和影响分析(软件FMEA)是一种系统化的自下而上可靠性分析方法,本文阐述软件FMEA在和睦系统作用、策略、方法、实施过程、总结,通过对和睦系统软件功能单元潜在的各种失效模式及其对系统功能的影响分析,提出存在的风险或异常,以提高和睦系统软件的可靠性。

支持SPIN验证的详细级SFMEA方法研究

随着软件系统的规模和复杂度不断增大,以软件为核心的安全关键系统的可靠性和安全性越来越难以保证。软件失效模式与影响分析SFMEA(Software Failure Modes and Effect Analysis)是军工业中常用的一种安全分析方法,其依赖人工分析、缺乏形式化语义、无法支持验证。针对SFMEA方法的不足,提出一种结合SPIN的详细级SFMEA方法,对软件失效模式进行形式化建模与分析,并结合模型检验工具SPIN进行自动化地模型检验和模拟仿真,从而提高软件系统的安全性和可靠性。该方法验证了"缓冲区数组下标越界"的这一失效模式,从而说明该方法的有效性。

计算机辅助FMEA应用研究

阐述了计算机辅助FMEA的研究过程、FMEA软件的功能及应用前景。

FM EA在核电设备产品设计中的应用研究

以某核电设备产品的再热阀组系统为实例,简要介绍了故障模式影响分析(FMEA)的相关知识以及再热阀组系统的结构特点。按照FMEA的分析步骤,利用自行开发的计算机辅助FMEA软件,对某核电设备产品的再热阀组系统进行分析,取得了良好的效果。