民用飞机软件验证要求研究与实践

DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程,本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。     

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

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

延程运行的适航要求和验证方法分析

就节省时间,燃油和提高营运效率而言,延程运行（ETOPS）为长途国际旅行提供了许多好处。然而这类营运也带来了特殊的安全性问题。本文根据适航规章详细描述了关于ETOPS设计需要考虑的适航要求,为设计和适航验证提供参考。     

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

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

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

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

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

飞行临界软件的验证与确认

飞行监界系统的复杂性和容错要求正在急速增长。因此,必须开发新的技术和方法而且要与已有的方法相结合,以使飞行临界系统在合理开发费用下,达到严格的验证和确认。本文探讨了这类临界领域系统在系统结构和软件设计中的一些高级要求,提出了一些有价值的、有效支持体系结构设计与分析以及软件开发、验证的技术。     

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

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

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

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

航空电子应用软件的分析及其分析验证软件浅析

在航电系统调试，试验，检测等过程中，对航空电子顶层应用软件的正确性进行分析和验证是至关重要的。本文结合某型飞机航电系统的研制实践，主要介绍了对航空电子应用软件进行分析的依据，方法和分析验证软件概况。     

基于AFAS 软件的机翼壁板耐久性分析及试验验证

随着航空工业的发展,对机翼壁板耐久性分析的精确性及计算速度的要求日益提高,必须考虑从手工计算到程序计算的转变。飞机结构耐久性分析软件系统(AFAS)是为了满足飞机结构耐久性分析的工程实际使用要求而编制的。本文介绍采用该软件中包含的DFR方法计算程序对机翼壁板结构进行耐久性分析的过程,并进行试验验证,分析得到的机翼壁板结构具有95%置信度、95%可靠度的可靠性寿命与试验统计结果非常相近,证明AFAS是一个可以进行耐久性分析的快速准确的计算工具。     

基于需求建模的软件安全性分析方法研究

为了提高软件安全性及可靠性,将需求建模引入针对软件需求的安全性分析过程,利用系统危险源、典型运行场景、外部输入输出接口等建模方法从系统需求分配、动态交互、接口故障处理等开展多角度分析,从而提高软件质量,并为后续软件需求分析以及安全性分析工作中提供可复用数据资产。     

飞机货运系统及设备的设计和试验要求研究

针对日益发展的航空货运事业,为规范货运系统设计与试验,论述了货运系统及设备设计和试验标准编制的必要性。对货运系统、货运设备提出了一般要求,研究了传输装置、操纵机构、导向设备、系留设备、拦阻装置、装卸装置、货运平台等特点,建立了较为完整的飞机货运系统、设备设计和试验准则。     

基于SFMEA的机载软件安全性需求提取方法研究

软件失效模式、影响分析(SFMEA)是对软件进行安全性分析的重要方法,通过对软件失效的影响分析、失效原因分析可以得到对应的改进措施,可以提高软件的安全性。通过对SFMEA进行扩展,建立包含有失效原因的经验数据的航空机载软件失效原因库,为用户分析提供辅助参考,确保失效原因以及对应的改进措施分析的充分性,并最终提取软件安全性需求保证后续的软件安全性工作。最后给出了上述方法在某发动机控制软件中的应用,过程和结果均表明该方法能够有效的提取软件安全性需求以支持软件安全性工作并最终保证软件安全性。     

马尔可夫分析在系统安全性评估中的应用研究

安全性分析是适航符合性验证的重要方法。对马尔可夫分析在系统安全性评估中的应用进行了深入研究,阐明了马尔可夫分析的作用与应用时机,结合功能危险状态“V1速度后起落架无指令收起”分别给出了在初步系统安全性评估与系统安全性评估中进行马尔可夫分析的一般方法,将马尔可夫分析与故障树分析的结论进行了对比,袁明了本文方法的适用性。