摘要：目前用于航天、铁路等领域的计算机控制系统要求具有高可靠性、高安全性的特点。这些控制系统一旦出现故障就必须快速定位故障部位,并采取相应的故障策略尽快解决故障,尽量减少系统的安全隐患及经济损失。文章通过图论的有关理论和故障特征假设提出了一种故障源的定位算法,采用该算法可以提高故障定位的效率。

摘要：文中分析了故障传播的机理及其有限步扩散性,提出了一种K步故障扩散算法,针对系统故障有向图寻找最佳扩散路径,使用C++编程实现算法并对具体工程进行了仿真实验,可同时模拟和诊断单点和多点故障。与传统的故障定位算法相比,它是一种新型的正向思维匹配算法,结合了传播代价,定位更加准确。KFP算法可模拟产生系统的故障扩散运行图,预测和定位故障源,在实际工程得到了较好地应用。

摘要：针对综合模块化航电系统(Integrated Modular Avionics,IMA)高度集成带来的故障传播问题,提出了基于AADL和HiP-HOPS的安全性分析方法。采用AADL语言对系统的架构及故障信息进行描述,建立其AADL体系结构模型。为了进一步对其进行安全性分析,提出了AADL模型向HiP-HOPS模型转化。利用HiP-HOPS可生成故障树和进行IF-FMEA组合失效分析,对IMA飞行规划系统故障传播进行安全性可靠性分析。实现了模型重用,减少了出错率,解决了IMA系统故障传播建模困难的问题。

摘要：故障树、故障Petri网和贝叶斯网络是评估系统可靠性、安全性的三种重要模型。其中,故障树在工程中应用最广,而后两种模型其各自具有不可替代的优点,可以弥补故障树在实际应用中的不足。在介绍三种模型的基础上,通过对故障树向故障Petri网转化方法、故障树向贝叶斯网络转化方法的研究,给出描述三种模型的典型逻辑关系等价结构图的表格,揭示三种模型的内在联系。结合该表,提出故障Petri网向贝叶斯网络的转化方法。同时,利用上述三种模型对导弹发动机故障进行对比分析,结果表明故障Petri网使故障传播过程一目了然,而通过故障Petri网络或故障树转化而来的等价贝叶斯网络可计算出更多定量结果。

摘要：对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized Stochastic Petri Net)模型。利用AADL错误附件不仅可以建立故障传播和组合故障的模型,而且可以将其转换为GSPN模型进行定量或者定性安全分析。以飞行控制软件系统为例,证明了利用AADL与GSPN建模并进行安全性分析是有效的。

摘要：故障注入是构建可信性基准程序、评估容错机制有效性的重要技术手段。但是,大多数故障注入实验仅关注故障对系统的最终影响,没有对故障在系统中的传播进行监测研究。该文针对IA32体系结构和linux上的嵌入式应用程序,设计并实现了一种软件故障监测工具,分别在trace级和routine级上跟踪程序执行路径,监测故障传播,并获取关键路径上节点的值,从而对差错在应用程序中的传播进行研究。