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

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

智能温度变送器软件的可靠性分析

近年来,国内外对于软件的失效模式与影响分析(SFMEA)越来越关注,相继颁布了一系列的标准。依据GJB 1391中给出的软件失效模式与影响分析方法,以智能温度变送器软件为分析对象进行可靠性分析,并将分析结果用于指导软件开发的后期工作。分析结果表明,智能温度变送器中温度计算软件模块的失效是影响系统的关键环节,分析结果有利于软件设计等后期开发过程有针对性地执行可靠性活动。     

软件可靠性分析方法研究与应用

软件可靠性分析方法中,SFMEA和SFllA是两种常用的分析方法,为提高软件可靠性发挥了重要作用,在国内型号软件的开发过程中得到了越来越多的关注.针对SFMEA及SFTA方法在应用中存在的难点问题,提出了相应的解决方法,并以某航空发动机控制软件为应用对象进行了实例应用,验证了方法的可行性与有效性.     

SFMEA安全性分析技术在软件安全性测试中的应用

随着软件在现代高可靠性装备中的比重和关键程度越来越高,传统的软件安全性测试方法已经不能满足当前测试要求,本文主要介绍一种新的安全性测试分析思路和方法——SFMEA技术在软件安全性测试中的应用,以弥补安全性测试需求分析和测试用例设计不足问题.文章首先分析介绍了常规安全性测试内容和方法及其不足,同时分析说明了引入新的安全性测试方法的必要性,然后介绍了SFMEA安全性分析技术相关定义、方法以及流程等,最后结合实例详细描述了基于SFMEA安全性分析技术的软件安全性测试方法与工作流程,并对基于SFMEA安全性分析技术进行安全性测试工作优缺点以及重点关注内容进行了总结.     

计算机实时控制系统软硬件综合FMEA

比照硬件失效模式影响分析FMEA技术(FMEA)，分析了影响软件FMEA的因素，在对软件FMEA技术进行简要综述的同时，提出了一种适合于计算机实时控制系统的软硬件综合FMEA方法。工程应用表明，这种软硬件综合FMEA方法可用于计算机实时控制系统的设计过程，对提高系统的可靠性、安全性具有一定作用。     

舰船装备软件可信性分析设计技术研究

针对舰船装备软件研制过程开展软件可信性分析设计工作中缺乏数据基础支撑、与工程实践不够紧密以及缺乏可操作性分析技术的现状,进行舰船装备软件缺陷信息收集并形成缺陷模式,研究基于缺陷数据的舰船装备软件可信性设计分析技术、方法和工具,包括：舰船装备软件可信性设计准则、舰船装备SFMEA技术方法、SFMEA与SFTA综合分析方法,并提供方法的辅助工具和数据库,为提高舰船装备软件可信性提供技术支撑。     

结合本体和规则推理的SFMEA方法研究

安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析(Software Failure Modes and Effect Analysis,SFMEA)是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析,存在信息共享性差、分析准确性低等问题。针对上述问题,提出一种结合本体和规则推理的SFMEA方法。首先,构建了支持失效知识表示的SFMEA本体,实现软件失效知识的精确语义描述。在此基础上,以规则描述语言SWRL来定义失效规则,通过分析失效原因,实现对失效造成影响的自动化推理。最后,结合一个发动机熄火判断模块的案例分析,说明该方法的可行性和实用性。     

结合贝叶斯网与SFMEA技术的软件故障诊断框架

软件故障已经成为导致系统出错.失效甚至崩溃的潜在与重要根源.因此,故障诊断技术对于保证软件质量具有非常重要的意义.基于人工智能理论的故障诊断技术已经得到越来越多的关注.贝叶斯网理论具有表述方便.推理严密等优点,将其与软件失效模式及影响分析方法相结合,提出了具有四层网络结构(原因层、模式层、故障层以及观察层)的WCMF贝叶斯网诊断模型.在此基础上,提出了基于故障信息数据库及诊断数据库的智能化软件故障诊断框架.最后,针对某数传导航机载软件进行了实例应用.结果表明,提出的WCMF诊断模型及诊断框架是可行且有效的,具有故障诊断方便及时、充分利用历史信息以提高诊断效率、降低时间和资源消耗等优点.