AADL模型可靠性分析评估工具

主要针对AADL(architecture analysis and design language)嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(general stochastic Petri net,简称GSPN)可靠性计算模型的转换,并基于GSPN可靠性计算模型对嵌入式系统进行...     

基于故障树的FMS可靠性分析

本文通过对柔性制造系统的故障树的建立及定量的分析,讨论了通过故障树获取FMS的各可靠性指标的方法。     

基于故障树的FMS可靠性分析

本文通过对柔性制造系统的故障树的建立及定量的分析，讨论了通过故障树获取ＦＭＳ的各可靠性指标的方法。     

基于故障树的FMS可靠性分析

本文通过对柔性制造系统的故障树的建立及定量的分析,讨论了通过故障树获取FMS的各可靠性指标的方法。     

基于模型的多态故障树自动建造方法

在对大型复杂系统进行多态故障树分析时,传统手工搭建故障树的方法因其工作量大、易出错且复用性差等劣势,已经不能满足对大型复杂系统多态故障树的建造。为弥补手工建树的诸多缺点,计算机自动建树被可靠性工程师列为重点研究对象,但是目前还没有一种通用的故障树自动建造思路与算法,特别是在对反馈等复杂结构的处理分析上,现有研究未能给出规范的处理方法。为解决上述问题,论文提出以部件模型的方式将零件故障特性规范化封装,以实现对部件故障模型的自由组合和重复利用,并在此基础上提出一种可以解决串并联系统和有环系统的故障树自动建树算法流程,实现对复杂系统结构的处理。论文结合冷却系统,阐述系统建模过程和建树算法实现的步骤,建树结果的一致性验证了该方法的正确性。对于大型复杂系统的故障树建造,该方法可以在为可靠性工程师减轻工作量的同时,提高建树质量,有利于形成规范化的统一标准。     

一种结合AADL和IMC的系统可靠性建模方法

随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析。提出一种基于AADL的系统可靠性建模方法。首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性。     

一种AADL系统可靠性模型转换方法

在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。     

T-S模糊故障树分析方法

提出一种新的T-S模糊故障树分析方法,该方法将模糊逻辑和T-S模糊模型引入到故障树分析中,使故障树具有处理模糊信息的能力.T-S模糊故障树分析中不需要精确了解部件的故障概率,也不需要精确了解故障的机理,从而解决了系统的事件和故障机理的不确定性问题.最后给出了INS/GPS组合导航系统可靠性分析实例.     

基于故障树分析的雷位误差可靠性研究

根据鱼雷雷位误差影响因素,构建雷位误差试验失败为顶事件的故障树,进行雷位误差可靠性的定性分析和定量分析,根据重要度分析计算的关键重要度,得出了各因素对雷位误差系统的影响程度,确定了系统的薄弱环节以及维修故障的顺序。通过控制这些关键部件的可靠度便能提高系统的可靠度,从而提高鱼雷雷位误差试验的可靠度。     

基于故障树的剥离实验机可靠性分析设计

本文介绍了一种基于故障树的剥离试验机可靠性分析设计。建立相应的故障树，完成了对试验机的可靠性分析。     

基于键合图模型的新型故障树故障诊断方法

针对传统故障树的生成及应用缺陷,研究了基于键合图模型的新型故障树故障诊断方法.该方法根据系统键合图模型推导出时间因果图,进而建立系统故障树,由此产生一个用于反映系统行为变化的假设故障集合;同时,推理预测每个故障的后效特征,并与观测特征相比较,修正假设故障集,最终定位故障源.仿真结果验证了此故障诊断方法应用的可行性和故障诊断的准确性,具有广泛的应用前景.     

核电系统的故障树可靠性定量分析数字仿真

故障树分析是核电站概率安全评价的重要方法,该文在介绍利用蒙特卡罗方法进行故障树定量分析仿真建模原理后,根据故障树所表示的系统模型的特点,绘制了故障树定量分析的程序框图,并根据框图编写了MATLAB程序.通过实例开发运用,证实该方法的有效性和可操作性.同时,我们还发现运用该方法计算可靠性,可以观察到系统中的各底事件对整个系统的影响程度,这对核电设备的设计、维修和改造具有很大的指导意义.     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

基于故障配置的故障树生成

故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。     

FTA法在导弹武器系统分析中的应用

导弹武器系统(MWS)是一个高可靠性系统,因而可靠性是导弹武器系统的重要性能指标之一,同时也是导弹武器系统效能分析的基础,对其进行系统的考查具有重要意义.由于实物仿真条件的种种限制,计算机仿真方法便成为导弹武器系统可靠性研究的有效途径.首先简要介绍了一种常用的可靠性仿真方法--故障树分析(FTA)法并建立其在系统可靠性仿真中的分析流程,建立了一种导弹武器系统的故障树模型并进行了蒙特卡罗仿真,得到了系统各单元的单元重要度及模式重要度.通过对仿真结果的分析得出了导弹武器系统在使用期对于组成单元的非结构的可靠性调整并不能提高系统整体性能的结论.     

载人飞船温度控制系统故障可靠性数字仿真

根据载人飞船环控生保系统实验的各种故障信息,运用演绎法建立了以飞船密闭舱内大气温度超限为顶事件的故障树,并采用Ｍｏｎｔｅ－Ｃａｒｌｏ方法来获取系统工作的可靠性诸参量。最后通过仿真实验结果,对一些参数进行了讨论。     

AADL软件容错系统建模与评估

提出了一种解决软件客错系统的可靠性评估方法,该方法基于AADL,对嵌入式软件系统进行建模,详细分析了软件系统内部各种构件的各种错误状态和其之间的错误传播,构建了AADL软件系统错误模型,并根据基本的转换规则将其转化为广义随机Petri网模型,使用现有工具对其进行了计算,从而实现了软件客错系统的可靠性评估;以航空交通控制(ATC)为应用场景进行实验.根据经验数据适当的假设了部分构件的失效率,收到了较好效果.