1.2 技术兴趣的读者指南 对于熟悉 AADL 标准文档的读者能够在细节描述和例子（文本和图形化形 式），中占有优势。这些细节描述和例子如本文表 1-2 所示的与技术兴趣领域相 关的章节。 表 1-2 本文与技术兴趣相关的章节 章节号码 关注的技术 5.4、5.5 、8.3.1、8.3.2、 8.4 和 8.5 建模应用软件-这些章节解决数据和子程序构件以及它 们的交互(例如调用和构件访问)。 5.1、5.2、5.3、8.1、8.2、 8.3.1、8.3.2 和 8.4.2 执行任务与并发-这些章节介绍与多执行路径相关的运 行时交互、协调和时序等相关领域。 6.7 和 8.3.3 系统实例、绑定软件与硬件构件——这些章节讨论在定 义一个完整的系统结构实例时的问题和功能 11 建模元素的属性-这些章节讨论 AADL 模型中的属性赋 值和定义新属性 9 和 11.2 运行时配置剪裁-这些章节介绍系统的可选体系架构配 置的结构。 10、11.3、11.4 和 11.5 分析抽象-这些章节讨论方便系统结构分析的功能。 1.3 使用此文档的约定 本技术文档使用文本和图形化的例子，反映了 AADL 标准文档（SAE 06a） 中使用的的风格（标注的地方除外）,而且，为了满足本文档的一致性和分类性， 我们在文本例子和注释文本（第 4 章到 12 章）使用同样的方式（例如，使用同 样的类型样式和形式）来表示 AADL 核心语言概念和关键规范化元素。而且我 们使用了 AADL 图标 表示不同的语义，而不是像统一建模语言（UML）那 样用相似的图形符号表示。

基于失效时间的故障树分析软件 蒙特卡罗模拟方法和故障树分析相结合是当前对大规模复杂系统进行可靠性分析预测的最有效途径。为方便工程人员应用这一技术更好地开展产品的可靠性工作，这套软件由下列成员组成： CAFTA主程序(Computer Aid Fault Tree Analysis) FDA失效数据分析（Failure Data Analysis） Safety数据安全卫士

针对掘进机行走机构液压系统故障发生具有模糊性的特点,提出了基于一种梯形模糊数运算的液压系统故障分析方法。考虑故障程度对系统的影响,将故障发生概率表述为模糊数,运用模糊集合论描述液压系统故障底事件和中间事件的发生概率。结合掘进机构液压系统油缸故障树分析应用实例,估算了顶事件的故障概率,取得了理想的效果。

1、最小割集测试法 基于故障树定量分析的故障诊断 一个最小割集代表设备的一种故障模式，故障诊断时，可以逐个测试最小割集即故障模式，从而搜寻故障源。 但对复杂设备的故障树分析，将有大量故障模式需要测试，在实际工程中，有时是很难实现的，此时可利用故障树最小割集重要度进行分析。 具体做法是：在计算出故障树各最小割集的重要度后， 首先在量级上进行分析比较，对那些重要度值很小的最小割集的故障模式，可以不必测试，而对那些需要测试的故障模式，按重要度值从大到小的次序进行检测，这样可以提高故障诊断命中率，减少测试诊断的工作量。

主要功能：故障树分析工具主要功能是静态故障树建模、动态故障树建模、定性分析、定量分析和仿真。 逻辑门类型：与门、或门、非门、异或门、顺序相关门、禁门、表决门、相同转移门、相似转移门、优先与门、顺序相关门、功能相关门、冷备件门、温备件门、热备件门 事件类型：顶事件、基本事件、底事件、未决事件、子树(扩展) 定性分析：提取静态故障树最小割集、提取动态故障树最小割序集 定量分析：顶事件发生概率、底事件结构重要度、底事件概率重要度、底事件相对重要度 仿真： 蒙特卡洛仿真。包括顶事件发生概率仿真、顶事件无故障时间仿真、底事件概率重要度仿真、 底事件相对重要度仿真、顶事件不可靠度曲线仿真 其它 --- 要求操作系

一 简介 talfta是拥有独立知识产权的国产软件，主要功能是故障树建模、定性分析、定量分析以及故障树仿真。 二 主要特点 1 支持模型元素全面，分析内容丰富 talfta既支持GJB768A中定义的全部事件类型以及全部逻辑门类型，又支持全部动态逻辑门。分析内容既包括静态故障树分析，也包括动态故障树分析。故障树仿真既包括发生概率仿真、概率重要度仿真、相对概率重要度仿真，还包括无故障时间仿真及不可靠度曲线仿真。 2 准确高效，适用性强 （1）talfta既支持单棵大型复杂故障树的建模及分析，也支持 经由“子树”节点关联起来的多颗关联故障树的建模以及相应的一次性分析; （2）既支持以故障发生概率为数据基础的故障树分析，也支持以故 障率为数据基础的故障树分析; （3）支持对包含指数分布函数、正态分布函数等多种寿命分布函数 的部件构成的故障树进行故障树分析； （4）支持对复杂故障树进行海量仿真次数的蒙特卡洛仿真; （5）支持包含小概率事件的故障树的计算及仿真;

FTA故障树分析.pdf，这是一份不错的文件

针对MG650/1620-WD型采煤机整机有电时,泵电机无法启动的故障,建立其故障树模型,并利用MATLAB作为可靠性分析平台,定量分析各个故障发生概率、不可用度和不可靠度等参数。根据分析结果,改进故障发生概率高的电气模块,以提高系统整体可靠性。

一 简介 talfta是拥有独立知识产权的国产软件，主要功能是故障树建模、定性分析、定量分析以及故障树仿真。 二 主要特点 1 支持模型元素全面，分析内容丰富 talfta既支持GJB768A中定义的全部事件类型以及全部逻辑门类型，又支持全部动态逻辑门。分析内容既包括静态故障树分析，也包括动态故障树分析。故障树仿真既包括发生概率仿真、概率重要度仿真、相对概率重要度仿真，还包括无故障时间仿真及不可靠度曲线仿真。 2 准确高效，适用性强 talfta既支持单棵大型复杂故障树的建模及分析，也支持经由“子树”节点关联起来的多颗关联故障树的建模以及相应的一次性分析。 支持基于故障发生概率的故障树分析，也支持基于故障率的故障树分析。 除此之外，还支持对复杂故障树海量仿真次数的蒙特卡洛仿真，支持包含小概率事件的故障树的计算及仿真。这些能力使得应用talfta进行故障树建模、分析、计算及仿真几乎没有限制。 3 功能紧凑、简单易用 4

故障树分析是系统可靠性和安全性分析的工具之一。故障树分析包括定性分析和定量分析。定性分析的主要目的是：寻找导致与系统有关的不希望事件发生的原因和原因的组合，即寻找导致顶事件发生的所有故障模式。定量分析的主要目的是：当给定所有底事件发生的概率时，求出顶事件发生的概率及其他定量指标。在系统设计阶段，故障树分析可帮助判明潜在的故障，以便改进设计（包括维修性设计）；在系统使用维修阶段，可帮助故障诊断、改进使用维修方案。