数据流相关软件故障的静态检测

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。

嵌入式可编程安全相关系统软件故障控制措施及算法研究

针对MCU安全相关系统的软件故障,开发了可编程控制系统软件故障控制措施及算法,适用于MCU内部结构故障控制和输入输出故障控制,包括CPU、可变和不可变存储器、中断、时钟及I/O接口等部件的故障控制。这些控制措施及算法经过第三方检验机构确认,符合IEC60730/IEC60335/UL1998/CSA.08等标准对软件故障控制的要求。这些控制措施及算法不仅适用于家用电器等低复杂度产品,也可以拓展适用于其他更高要求的产品的可编程安全相关系统的软件故障控制。

基于FMECA-FTA的软件安全分析方法研究

软件在安全相关产品中的比重持续上升,与之相关的失效会使设备和用户处于危险之中。为了预防和减少软件失效带来的风险,有必要在设计实现阶段进行安全相关的分析,尽早明确软件可能有的失效。本文结合软件开发的特点,研究并提出一种通过"失效模式影响及危害性分析(FMECA)"和"故障树分析(FTA)"迭代执行的软件安全分析方法。以功能为基础,依据不同开发阶段的活动特点,本文给出了该方法的具体要素和步骤。实际应用表明,该方法能够有效识别大量潜在深层次的软件失效模式。