直升机软件安全性分析技术及应用研究

GJB 900和MIL-STD-882C是武器装备安全性管理和控制大纲,就具体的装备,如直升机,如何剪裁和应用这些规范中的要求来指导直升机软件安全性分析工作,在以往型号设计中做得较少,常常受到专家的质疑。该文基于MIL-STD-882C的要求,结合国外型号设计的经验,系统地提出了直升机软件安全性的分析技术,其目的是：提高设计团队的软件安全性分析水平,并在今后的型号实践中,不断完善软件安全性分析工作;应用文中的分析方法,给出其软件设计差错/缺陷并通过相应措施,消除安全性隐患或将软件安全性危险控制在最低可接受的范围。     

某型导弹技术准备人因安全性分析

某型导弹技术准备过程具有涉及操作人员多,人员间以及人与设备之间交互多的特点,系统级的安全性分析结果表明,人为致因因素是导致安全问题的重要因素。因此,文章研究了一种基于行为模型的人因安全性分析方法(Extended STPA with Behaviour Model,BME-STPA)。BME-STPA方法基于行为模型思想,对 STPA控制器模型进行扩展,使其更加适用于人为致因因素分析,解决了 STPA方法对人因安全性分析针对性不强的问题,具有较强的可操作性。以导弹加注过程中溢出灌增压作为 BME-STPA的应用案例,证明了该方法的实用性和有效性。     

直升机安全性及生存力技术

安全性是直升机研制最主要的要求之一,它对直升机应用及发展有着重要影响。该文在分析直升机事故的基础上,以大量翔实的数据为论据,重点在技术方面对直升机安全性和生存力进行了研讨。     

基于模型的安全性分析技术研究

基于模型的安全性分析技术(MBSA)经过十余年发展,其理论基础和工程应用技术已日趋成熟.首先阐述了传统的安全性分析技术存在的不足,分析了MBSA的技术优势;然后结合传统系统安全性分析流程,初步构建了基于模型的安全性建模与分析流程,最后给出了MBSA分析技术在飞机研制过程中的安全性评估案例.结果表明:MBSA可以解决传统安全性分析中飞机级安全性评估不足以及安全性分析结果正确性得不到客观保证的问题.     

软件安全性设计的分析验证要求研究

立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析验证提供验证目标,从而提高软件和系统的整体安全性。     

民用飞机共因失效分析方法研究

对共因失效分析的定性分析方法与定量分析模型进行了深入研究,为特殊风险分析、共模失效分析、区域安全性分析等民机共因失效定性分析方法制定了分析程序,给出了Beta因子模型、基本参数模型、多希腊字母模型、二项失效率模型、马尔可夫模型等共因失效定量分析模型,为民用飞机适航符合性验证与型号合格审定提供技术支持.     

故障树分析在可靠性、安全性分析中的作用与运用

故障树分析是实施可靠性、安全性分析的有效手段之一。本文介绍了故障树分析的方法、其在可靠性、安全性分析中的不同作用以及目前运用中的遇到的问题和解决思路。     

通用飞机安全性适航符合验证工作体系研究

研究CCAR23.1309条款要求,确定通用飞机安全性适航验证项目.在安全性分析和验证方法的基础上,结合适航取证要求和特点,提出FHA要求确立—局方审查认可—SSA要求验证—局方审批认证的安全性工作认证程序,并在此基础上规划了安全性适航验证工作的体系结构.基于飞机研制和适航取证各阶段工作,结合整机及各系统安全性设计的实...     

Y7—200A飞机供输油系统的安全性分析

一、概述我国自行设计、研制的 Y7—200A 飞机是一种上单翼、双涡桨的中短程客机。这种载客60人,最大使用巡航高度7620m 的新型飞机,供输油系统采用了燃油引射泵代替通常使用的交直流式电动离心泵向发动机供油。这套系统的设计、研制在我国尚属首次,它的工作好坏将直接影响飞机的飞行安全。因此,它的工作可靠性和安全性就显得非常重要。现代民用飞机的发展,对燃油系统提出如下要求:(1)在任何给定的飞机飞行状态及高度,包括飞机受到负过载作用在     

基于集对分析的区域安全分析研究

区域安全性分析可用来确定系统各区域及整个系统存在的危险。利用集对分析方法对民机区域内含危险源的系统进行风险排序,然后有针对性的及时对设计采取必要的措施,以支持区域安全性设计。最后,给出了后附件舱区域分析实例,从而证明了本文方法的有效性。     

系统形式化分析在AILS研发中的应用

系统形式化分析（system formal analysis）是近些年在航空系统研发中所应用的一种安全评价方法。原理是运用数学建模，对研发航空软件系统所有假设条件下的输入集元素的有效性及系统算法逻辑性进行验证，其本质是假设合理性及算法正确性的数学检验，可弥补传统的模拟、试飞等安全评价手段的局限性，并将逐步成为未来航空系统研发中安全评价的重要步骤和手段。介绍了系统形式化分析在机载横向间隔信息系统（AILS）研发中的安全评价应用，通过假设检验、建模验证AILS告警算法等，给出了该系统的安全性论断并提出了相关建议。     

某型民机登机门功能危险性分析与故障树分析

针对舱门进行了功能危险性分析和故障树分析研究,以某型民机登机门为例,在考虑了舱门的事故统计,相关适航条款等情况下进行了功能危险性分析,得到登机门的主要故障模式及相应的安全性指标,作为故障树分析的顶事件,以登机门不能打开故障模式为例开展了具体的故障树分析,通过计算各底事件的失效概率,综合得到登机门不能打开故障模式的发生概率.所确定的分析方法与分析过程可为民机舱门安全性分析提供有益参考.     

EWIS 设计中的 PRA 分析

根据 PRA 在 EWIS 安全性分析中的地位和作用,对 PRA 的原则、内容及步骤进行了分析和说明,阐述了在 EWIS 设计初期 PRA 对 EWIS 主通道布局的影响;并结合故障树中对割级、最小割级的分析,说明在初步设计中后期应用 PRA 验证故障树底事件之间相互独立性的必要性。最后结合 APU 非包容性转子爆破,对飞机尾段 EWIS 主通道布局和线路布置进行了举例说明,详细分析了 APU 非包容性转子爆破对尾段平尾 EWIS 线束敷设的影响。     

飞机事故及其原因统计分析

用图表的形式统计显示了美国三军飞机及世界民用飞机数１０年来的灾难性事故率的演变情况。随着技术和管理的进步与提高,飞机事故率呈逐渐下降趋势。飞机事故率因飞机用途（军用或民用）、机种、所装发动机台数、飞行经历不同而异。对军用飞机事故原因分驾驶类和后勤类两类作了统计分析。统计表明,民用飞机事故的主要原因是驾驶员问题,其中起飞、开始爬升、最终进场着陆阶段（约占每次飞行时间的１／１７）占了事故总数的６７％。应进一步加强飞机安全性设计与分析,开展人为因素研究,以继续减少飞机事故的发生     

机载电子设备共模分析方法研究

对于飞机安全关键功能而言,丧失其完整性或可用性都可能导致灾难性情况,因此需要在飞机及系统层面开展完整的安全性评估过程。对于采用冗余架构的设备,尽早通过共模分析的方法识别可能引起共模失效的原因,从而在设计阶段消除或减缓共模带来的风险具有重要意义。重点讨论了机载电子设备安全性评估过程中共模分析开展的目的,介绍了机载电子设备共模分析开展的方法,提出了分析过程中需要注意的关注项。     

民用飞机飞控通电自检测安全性研究

民用飞机飞控通电自检测安全性分析周期假设为20 FH(Flight Hour,飞行小时),不能覆盖24 h,飞机全天利用率高,在下次执行飞控通电自检测之前可能会出现飞控通电自检测过期告警。为了提高飞机维修性,有必要对飞控通电自检测安全性进行研究。通过建立飞控系统失效条件关联的故障树并更新飞控通电自检测的暴露时间,在符合飞控系统I～IV类失效条件等级故障概率要求和千分之一判据情况下,安全性分析结果表明飞控通电自检测周期可以提高到30 FH。     

民用飞机照明系统安全性分析

民用飞机照明系统是飞机系统中一个重要的分支系统,不仅对飞机的安全、飞机性能的充分发挥、机组人员的工作效能起着重要的作用,而且对于旅客来说是评价飞机先进性和舒适性的一个不容忽视的重要组成部分。 民用飞机照明系统通常由驾驶舱照明、客舱照明、货舱与服务区照明、外部照明及应急照明五个功能独立的部分组成。 在照明系统研制过程中,为验证系统对 CCAR25. 1309 条款的符合性,通常遵循 SAE ARP 4761 提出的安全性评估工作方法。 基于安全性评估工作方法, 以照明系统为对象,在设计阶段,通过初步安全性分析确定了系统安全性设计目标、提出了系统架构,在验证阶段,通过运用多种工具对提出的安全性目标进行验证。 此外,探讨了整个系统研制过程中的安全性分析工作的具体方法,为民用飞机安全性分析提供借鉴。     

功能危害性评估方法在电动垂直起降飞行器安全性分析中的应用

近年来,电动垂直起降(electric vertical takeoff and landing,简称eVTOL)飞行器在城市空运中得到快速发展。eVTOL被看作是最具发展前景的,可作为城市空中交通运输的有效运载工具。安全性分析是eVTOL飞行器运行载人过程中,减少灾难性事故以及保证高可靠性和高安全性的最重要条件。利用功能危害性评估(functional hazard assessment,简称FHA)可确定eVTOL飞行器中潜在的失效状态、预计失效状态以及其他的危险失效状态,从而能够全面找出潜在的灾难性和危险失效状态,进而有针对性地进行控制,最后能够全面降低灾难性事故的发生,以确保eVTOL飞行器的安全性。基于FHA分析,对eVTOL整机的安全性分析,并通过灾难性失效状态得出安全关键功能,为其功能设计提供依据。