基于模型驱动的HUD系统安全性分析方法研究

平视显示器能够有效提高飞行员的情景意识,从而提高飞行的安全性,现已成为新投入使用的民用客机必装的航电设备。本文结合项目实际,采用基于模型驱动的安全性分析工具---SIMFIA构建平视显示系统功能架构和失效状态(顶事件),自动生成引起失效状态因素的故障树,用于达到分析平视显示系统安全性的目的。结果表明,SIMFIA建模与系统设计相结合,能够实现系统设计与安全性评估工作的一致表示,从而有效支持系统和安全性分析的迭代过程。     

软件故障树分析系统的设计和实现

针对当前软件故障树分析系统存在的可视化水平不高、应用领域不广等问题,对软件故障树分析方法进行了深入研究,实现了图形化的软件故障树分析系统,为用户提供了一种快速、高效的故障树绘制工具,对提高软件的安全性具有重要意义。     

大型民机复杂系统故障树分析与适航问题研究

探讨了在大型民机研制中采用故障树分析方法的适航符合性过程。作为系统安全性评估工具,阐明了一个成功的故障树分析所需主要步骤和关键要素。针对大型民机这一复杂系统的系统安全性评估过程,指出了故障树分析及其应用中的若干适航考查要点及常见问题,并举出实例和解决思路,以期达到举一反三的效果。     

基于马尔可夫方法的飞控系统安全性评估

安全性评估是适航符合性验证的重要方法。对马尔可夫分析在系统安全性评估中的应用进行了深入研究．给出了马尔可夫在系统安全性评估中的一般分析方法。运用马尔可夫方法和故障树方法分别对飞行控制系统的同一种失效状态进行了建模分析．并对二者的分析结果进行了比较,得出对并联顺序系统进行安全性分析时马尔可夫分析方法具有更高的定量分析精度,并克服了故障树静态分析特性的缺点。     

基于蒙特卡罗方法的环控系统安全性分析

利用蒙特卡罗仿真方法对飞机环控系统进行安全性分析,包括故障树建模、绘制仿真流程图,并根据流程图编写MATLAB程序,通过对故障树结构函数的蒙特卡罗仿真避免了故障树定量分析求解繁琐的问题。计算结果表明,此方法简易可行,可以获得系统的安全性指标,包括系统不可靠度、系统平均寿命和部件重要度等,该方法可以为复杂系统的安全性分析和系统维修提供有力支持。     

基于模型检验的飞机系统安全性分析方法研究

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。     

基于AADL的航电系统建模技术

新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求。较为全面的介绍了以AADL为基础的航电系统建模的技术,给出具体的实施方案和步骤,开发出结构分析与设计工具创建及管理模型,检查模型的完整性和正确性,并为安全性分析、可靠性分析以及可调度性分析等验证工具提供了良好的接口。     

航空装备系统的动态故障树分析方法研究

系统安全性分析可以有效提高产品的安全性,贯穿于整个研制和生产阶段。本文针对系统安全性分析中的动态问题研究了动态故障树分析方法,并以飞机主起落架系统作为实例进行了分析。     

基于故障注入模型的电传飞控系统安全性分析

安全性分析既是飞机研制中提高安全性的主要手段，也是审定中验证设计方案是否满足适航要求的重要符合性方法。传统的安全性分析方法滞后于系统的设计过程，且高度依赖于分析人员的技术和经验，无法满足现代飞机复杂系统研制的需求。针对电传飞控系统提出了一种基于模型的安全性分析方法。使用Simulink分别构建了典型电传飞控系统的名义模型和拓展模型，利用单故障注入后的系统响应提出了故障影响的分析方法，以支持故障模式及影响分析的开展，基于状态遍历实现了组合故障注入，并利用组合故障注入后的系统响应提出故障树最小割集的分析方法，最后结合工程案例说明了本文方法的正确性与有效性。与经典的马尔可夫分析方法相比，该方法避免了对设计人员经验的依赖并且具有更高的精度；当系统方案修改时，该方法能直接更新安全性分析结果，避免了重新建模分析的繁琐工作。     

民用飞机高升力系统设计中安全性评估方案研究

民用飞机安全性评估工作是实现飞机适航性的有效方法之一。本文基于民用飞机系统安全性设计评估的思路和方法,以某型高升力系统为例,通过对“襟翼不对称运动过限”失效工况开展功能危害性分析及故障树分析,得到了影响系统安全性设计的关键因素。通过对关键因素进行改进设计,最终得到能够满足安全性目标的系统方案。     

民用飞机适航符合性验证方法与程序研究

研究了功能危险分析、故障树分析、故障模式影响分析以及共因故障分析等安全性分析方法在民用飞机适航符合性验证中的应用,明确了各种方法的应用时机与输入输出信息.分析了民用飞机设计各阶段适航安全性工作内容,以各项安全性分析技术为基础,建立了民用飞机适航符合性验证流程,初步构建了民用飞机适航符合性验证的理论体系.     

基于动态故障树分析的民用飞机辅助动力装置系统安全性评估

在民用航空工业领域,传统的故障树分析方法广泛运用于系统安全性评估。然而,包含系统/子系统运行的时序阐述以及备份、冗余表达在内的动态特性不能通过传统故障树呈现。另一方面,民用飞机辅助动力装置(APU)经常作为一个冗余系统运作,因而其行为可以通过运用动态故障树进行适当的描述。所以APU的这种特性激发了动态故障树分析在APU系统安全性评估上应用的关注。首先介绍了两种动态门(优先与门和冷备件门),其定量计算通过施用马尔可夫模型来呈现;然后分别通过传统故障树以及动态故障树分析了APU系统安全性评估的两个典型案例;最后进行了两种故障树分析(FTA)的比较,其结果显示出通过合理的应用,动态故障树(DFTA)方法达到了对于真实情况来说相当高的精度,并且对指数分布函数施用二阶近似后,其运算成本也是可以接受的。     

事故树的定量分析在某型舰载直升机起落架收放系统中的应用

事故树分析是安全系统工程中常用的一种分析方法,本文对某型舰载直升机系统的起落装置工作进行了原理分析,在此基础上建立了舰载直升机起落架收放系统的事故树,并根据各基本事件的发生概率,计算顶事件的发生概率。接着对各基本事件进行了结构重要度、概率重要度和关键重要度分析,进一步确定了系统的薄弱环节,从而确定了安全投资方向。     

基于可修复故障树的民机燃油系统安全性分析

针对传统故障树和马尔科夫分析的不足,本文介绍了可修复故障树的基本原理,并以某型民机燃油系统为例,运用该方法进行系统安全性评估。根据分析的结果探讨了该方法在民机复杂系统安全评估中的适用性,供民机复杂系统安全评估人员参考。     

状态关联及其在故障树自动建造中的应用

为了对状态关联复杂的系统进行精确的故障诊断 ,需要开发包括状态关联的故障树自动建造方法。提出了描述状态关联关系的状态树与状态关联矩阵 ,依据状态关联设置了状态叠加算子 ,描述了状态关联在故障树自动建造中的应用     

机载机电系统可靠性的计算机辅助分析方法

 为了提高机载机电系统的可靠性，机载机电系统常采用余度系统，以达到故障容错，进而实现整个飞机系统的高可靠性和安全性。开发适应于余度间耦合、动态性能降级的ReliaApp可靠性分析评价软件平台，通过有效综合故障模式影响（FMEA）、故障树分析（FTA）和Markov状态转移链法，实现不同容错设计方案的选择、机电系统的可靠性定量评价并给出系统的薄弱环节，为系统的余度配置和改进设计提供软件设计与评估平台，以确保飞机系统的高可靠性和安全性。实例应用表明该软件平台是飞机机载机电系统可靠性设计与评价有效的计算机辅助工具。     

基于STPA的飞机交流系统供电转换安全性分析方法研究

飞机交流发电系统是整机的主要电力来源,应对其进行完善的安全性分析。传统安全性分析方法如故障树分析等,对系统组件间非线性交互引起的安全问题关注较少,当研制型号支持数据不足时,存在分析遗漏风险。根据典型交流发电系统供电转换过程基本特点,基于STPA 方法构建安全控制结构图,识别不安全控制行为（UCA）,引入相似系统的失效模式及影响分析（FMEA）结果,分析UCA 致因因素和致因场景,使用时间自动机理论的形式化工具进行系统建模与验证;通过专家评判及事故对比来验证该方法的正确性。结果表明：在传统分析方法的基础上引入STPA 方法,能够有效识别出不安全控制行为和事故发生的原因,该方法可以作为传统方法的有效补充。     

基于Simscape模型的航空发动机系统安全性分析方法

针对航空发动机系统安全性分析中的耦合情况,研究基于Simscape模型的航空发动机耦合故障建模和安全性分析问题。在基于模型的安全性分析(MBSA)故障拓展一般特点的基础上,分析了Simscape环境下进行故障外部拓展和建模语言内部故障拓展两种方式,以建立耦合故障模型。以全权限数字式发动机控制(FADEC)主燃油控制子系统为研究示例,进行独立和耦合故障形式化系统安全性分析。结果表明:航空发动机系统安全分析Simscape模型基于系统设计环境,可直接成为系统设计和安全性分析共同的工具,便于保证设计和安全性分析的一致性;该模型拓展方法和建模语言,从故障数学原理出发,对实际系统不同物理域的组件独立和耦合故障特性具有灵活和定量描述能力;由此拓展的故障模型下的安全性分析具有形式化、直观性和客观性的优势。