基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。     

民用飞机电传飞控系统功能危害性评估方法研究

民机系统级功能危害性评估（Functional Hazard Assessment, 简称FHA）是指对系统功能进行系统性的综合分析过程，即依据系统功能失效状态对飞机安全性影响严重程度进行评估，从而实现对功能的等级进行识别和分类的过程，是系统顶层关键的设计过程。在分析大量相关资料和实际型号经验的基础上，得出适用于民机电传飞控系统的功能定义、功能失效状态分析和确定功能失效影响等级并对其进行确认的思路和方法，以及保证民机电传飞控系统级FHA正确性和完整性的具体可行的措施等，该方法已应用到某民机电传飞控系统级FHA的评估工作中，取得了良好的效果。     

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

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

基于协同设计的民机安全性分析系统研究

阐述了访问控制机制和冲突检测机制等民机安全性协同设计关键技术。分析了民用飞机安全设计评估程序,基于协同设计提出民机安全性系统总体框架,初步建立了民机安全性协同设计平台。     

基于协同设计的民机安全性分析系统研究

本文阐述了访问控制机制和冲突检测机制等民机安全性协同设计关键技术,分析了民用飞机安全设计评估程序,基于协同设计提出民机安全性系统总体框架,初步建立了民机安全性协同设计平台。     

民用飞机试飞规划与管理系统的评估研究

国内某民机型号的飞行试验工作者们根据数年的工作经验,开发了基于民机飞行试验的规划与管理系统(Flight Test Control System,简称FTCS),以利于民机各项试飞工作的开展。相比于一般的信息管理系统,FTCS系统具有更多行业本身的特质,在对本系统的一些重要功能进行体验后,从定性与定量的角度对系统进行评估,建立一套适用于民机试飞优化系统的评估方法,利于后续类似系统延续其优秀的设计长处,改进本系统存在的不足,为未来民机试飞系统的开发提供参考和借鉴。     

先进民机飞控系统安全性设计考虑

飞行控制系统作为民机机载设备中的飞行关键和安全关键系统,其安全性设计对民机运营安全至关重要。基于适航安全性要求,梳理了民用飞机机载系统安全性的定性及定量需求,分析了民用飞机飞控系统适用的安全性设计依据和标准;对先进民机飞控系统安全性设计技术进行了研究,从飞行控制系统架构、控制律、复杂电子硬件、作动器和高安全等级软件设计5个方面提出了安全性设计技术的考虑。     

民机电传飞控系统安全性设计与验证

目前CCAR25部的规章要求主要针对传统机械操纵飞机,随着电传飞控系统(Fly by Wire,以下简称FBW)在现代民机上的广泛应用,在控制指令的数字信号完整性、AC 25.1309等效安全等方面产生了一些新的适航要求,以达到传统设计相同的或等效的安全水平。介绍了民机电传飞控系统安全性评估过程,然后针对电传飞控系统安全性设计特点,总结了适用的适航要求和符合性验证方法。     

共模分析方法及其在民机设计中的应用研究

安全性是民机设计中最重要的考虑要素之一。作为安全性评估的重要手段,共模分析是通过对元件或事件之间的独立性进行分析,来保证设计对象的安全性。对共模分析的工作流程进行了说明,详细列出了需要考虑的共模失效源及失效模式。介绍了共模分析的与门方法和割集方法,并通过某型民用飞机舱门设计实例说明了在机械系统中如何通过这两种方法进行共模分析,同时给出了相关结论。     

军机研制中安全性标准的应用

介绍了系统安全标准GJB900–1990、MIL–STD–882D和民机系统安全性评估指南SAEARP4761。对军机研制中应用这些标准的优缺点进行了分析,明确了这两类标准的区别,提出了综合系统安全标准和民机系统安全性评估指南开展军机研制安全性工作的必要性。     

民用飞机结构适坠性评估技术现状与发展趋势

适坠性评估是确保民用飞机安全性的重要内容之一。通过对民用飞机适坠性评估技术内涵的分析，概述了国外民用飞机结构适坠性评估技术方面的研究现状与发展趋势，以期促进我国民机结构适坠性评估技术的发展，为研制具有自主知识产权的民用飞机提供技术支持     

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

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

基于签派可靠度的民机经济性评估方法

为准确评估签派可靠度高低对航空公司造成的经济性影响,针对民机系统建立飞机系统签派可靠度评估模型,运用贝叶斯理论对模型中参数进行估计。引入航空公司延误损失函数,研究因系统签派可靠度差异所造成的航空公司经济损失,得出民机系统签派可靠度经济性评估方法。以航空公司A320机队运营数据作为基础,以导航系统为例进行验证,量化了民机系统签派可靠度所代表的经济性。     

对国外民用飞机安全性指标的分析

安全性是民用飞机设计及使用时必须考虑的首要问题,安全性指标要求将影响民机的设计、维修及使用。本文对比讨论了美国联邦适航条例FAR25.1309节及西欧适航条例JAR25.1309节对安全性指标及其评定的要求;较详细地分析了飞机及其系统安全性指标的确定与评定的原则及方法;最后,以FAR25.1309为例讨论了安全性指标及其评定要求对民机设计、维修及使用的影响。     

某型飞机HUD系统试飞评估

基于作者及其团队试飞某型飞机HUD系统的研究成果和实践,系统性展示了HUD系统地面静态显示及全飞行剖面试飞评估方法,并给出该机型HUD系统评估结论及建议,为我国民机HUD系统试飞提供思路,并为民用飞机HUD系统研制提供可供借鉴的问题和经验。     

民用涡桨飞机安全性评估标准应用研究

为提高民用飞机的安全性,在民用涡桨飞机研制阶段,首次应用最新版标准SAEARP 4761A开展了初步飞机安全性评估(PASA)工作,对飞机安全性架构进行了初步评估,得出了飞机安全性设计需求,通过这一过程将飞机安全性需求分配给相关系统,为开展系统级功能危害评估(SFHA)、初步系统安全性分析(PSSA)提供输入。通过完成初步飞机安全性评估工作,为适航审定当局在民机安全性分析方面的约束机制提供技术基础,为民机安全性分析提供参考和指导。     

基于Bayes方法的民机冗余系统可靠性评估

民机中常通过冗余设计提高系统的可靠性,研究冗余系统的可靠性评估具有工程实用性。民机故障发生具有随机性,本文采用马尔可夫链描述民机冗余系统的状态变化;考虑到民机可靠性信息较少,要充分利用多源信息,运用Bayes方法对两设备组成的冗余系统进行可靠性评估。假定设备故障间隔和维修时间均服从指数分布,在不同的先验分布下,评估了该冗余系统的平均无故障工作时间,并计算了相应的稳态可用度。针对具体数值例,采用蒙特卡罗仿真方法,评估了民机冗余系统可靠性,并对仿真结果进行了分析。     

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

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

CMR在适航审定中的应用研究

研究了CMR（审定维修要求）在民机适航审定中的应用，分析了CMR在SSA（系统安全性评估）中的作用和形成过程，最后结合实例给出了CMR候选项及对应检查间隔的确定方法。     

军机适航“安全性分析与评估”条款浅析及其工程实施途径探究

在当今的军机研制过程中,军方借鉴民机的适航管理方式力推适航性审查,以确保飞机的安全性水平.如何贯彻适航要求、如何将适航与安全性设计深度融合成为飞机研制单位亟待解决的问题.本文从飞机总体设计单位的角度,探究适航与安全的关系,对比适航工作与安全性工作的异同,并结合工程实际,对军用飞机研制过程中如何将适航与安全性管理、设计和评估工作有机结合、高效开展的方式方法提出了建议.有效避免了适航工作和安全性设计工作的不协调甚至相互矛盾情况的出现,可供军机承研单位参考.