状态事件故障树的建模与分析方法研究

发布时间：2017-09-05 18:37

  本文关键词：状态事件故障树的建模与分析方法研究

  更多相关文章： 软件控制系统 状态事件故障树 可靠性 定量计算 最小割集序列

【摘要】：随着科技的发展与进步,在安全性及可靠性至关重要的领域(如航空电子、汽车、铁路、工业自动化等领域),越来越多的机械及电气组件被软件控制系统(也称嵌入式系统)所替代。传统的可靠性建模分析方法(如故障树分析方法)应用于软件控制系统时,在持续时延、事件序列以及不同组件状态间相互依赖特性的处理上,建模能力就会略显不足。为了弥补传统建模方法的缺陷,德国的Bernhard Kaiser等人提出了一种新的基于状态建模机制和故障树建模机制的建模模型——状态事件故障树。然而,状态事件故障树至今还没有得到广泛应用,究其原因,主要因为基于状态事件故障树的建模案例不够完善,相关的分析方法(包括模型的定性和定量分析)还不够成熟。因此,本文主要针对状态事件故障树建模与分析方法进行了相关研究。首先,从状态事件故障树建模能力入手,以航电网络为例,针对其特点及运行机制,建立了对应的航空电子全双工交换式以太网的数据完整可靠性的状态事件故障树模型,展示了状态事件故障树模型在组件状态依赖特性的描述能力上的优势以及在系统组件可拓展性上的优势。其次,从状态事件故障树化简方法入手,基于卫式接口自动机能够合并简化的特点,结合状态事件故障树模型的语义规范,对卫式接口自动机进行了拓展,给出了拓展卫式接口自动机的语义。设计了状态事件故障树模型到拓展卫式接口自动机的转换规则,并改进了卫式接口自动机的合并算法。给出了状态事件故障树等价计算模型的简化步骤,通过实例的化简前后的计算结果验证了简化方法的正确性并通过化简前后的模型状态空间对比展示了化简方法的有效性。此外,文章还在状态事件故障树最小割集序列生成方法的基础上,进一步研究了其最小割集序列的定量计算方法。根据有色Petri网中托肯能够传递属性的特性,设计了状态事件故障树到有色Petri网的语义转换规则,通过语义装换规则,能够在有色Petri网中体现原始故障在系统中的传递及转移情况。最后根据有色Petri网中对应系统故障的状态库所中的托肯属性即可表现系统故障的根本原因。对不同托肯属性所对应的故障状态概率进行计算,便能够得到每条最小割集序列造成系统故障的概率值。最后以火灾保护系统为应用背景,通过实验计算了系统每条最小割集序列对系统故障的影响程度,根据计算结果便能够优化系统的设计。
【关键词】：软件控制系统 状态事件故障树 可靠性 定量计算 最小割集序列
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP301.1;TP368.1
【目录】：

• 摘要5-6
• ABSTRACT6-11
• 符号对照表11-12
• 缩略语对照表12-15
• 第一章 绪论15-19
• 1.1 研究背景及意义15-16
• 1.2 国内外研究现状16-17
• 1.3 论文主要内容和创新17-19
• 第二章 基础知识介绍19-27
• 2.1 AFDX网络及其可靠性19-20
• 2.2 故障树建模理论20-22
• 2.2.1 传统故障树20-21
• 2.2.2 组件故障树21-22
• 2.3 Petri网建模理论22-25
• 2.3.1 基本Petri网22-23
• 2.3.2 随机Petri网23-24
• 2.3.3 有色Petri网24-25
• 2.4 Petri网分析工具TimeNET25-26
• 2.5 本章小结26-27
• 第三章 AFDX网络的状态事件故障树模型27-37
• 3.1 AFDX网络的数据传输过程27-28
• 3.2 状态事件故障树的可靠性分析方法28-32
• 3.2.1 状态事件故障树的简介28-30
• 3.2.2 状态事件故障树的分析方法30-32
• 3.3 AFDX网络的数据完整可靠性建模32-36
• 3.3.1 AFDX网络的丢帧情况分析32-34
• 3.3.2 AFDX网络数据完整可靠性的状态事件故障树模型34-36
• 3.4 本章小结36-37
• 第四章 基于接口自动机的状态事件故障树化简方法37-53
• 4.1 接口自动机模型形式化定义37-38
• 4.2 改进的拓展卫式接口自动机模型形式化定义38-40
• 4.3 状态事件故障树中组件与拓展卫式接口自动机之间的转化规则40-41
• 4.4 改进的状态事件故障树简化方法41-45
• 4.4.1 改进的拓展卫式接口自动机的合并算法42-44
• 4.4.2 状态事件故障树的简化步骤44-45
• 4.5 状态事件故障树简化方法的实例仿真及验证45-52
• 4.6 本章小结52-53
• 第五章 状态事件故障树的最小割集序列分析53-69
• 5.1 状态事件故障树最小割集序列的定性分析53-57
• 5.1.1 状态事件故障树最小割集序列的生成方法53-54
• 5.1.2 状态事件故障树的最小割集序列求解实例54-57
• 5.2 状态事件故障树的有色Petri网等价转换规则57-63
• 5.2.1 有色Petri分析工具TimeNET57-59
• 5.2.2 状态事件故障树到有色Petri网的语义转换规则设计59-63
• 5.3 状态事件故障树最小割集序列的定量计算63-64
• 5.4 状态事件故障树最小割集序列计算的实例分析64-68
• 5.5 本章小结68-69
• 第六章 总结与展望69-71
• 参考文献71-75
• 致谢75-77
• 作者简介77-78

【参考文献】

中国期刊全文数据库 前4条

1 徐丙凤;黄志球;胡军;魏欧;肖芳雄;;一种状态事件故障树的定量分析方法[J];电子学报;2013年08期

2 李硕;王学望;康锐;;面向完整性要求的航空电子全双工交换式以太网可靠性评价参数研究[J];西安交通大学学报;2013年03期

3 徐田华;赵红礼;唐涛;;基于有色Petri网的ETCS无线通信可靠性分析[J];铁道学报;2008年01期

4 林闯,曲扬,郑波,田立勤;一种随机Petri网性能等价化简与分析方法[J];电子学报;2002年11期

，

本文编号：799639