基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

民用飞机飞行控制软件开发方法探讨

通过对民用飞机飞控软件的重要性及复杂性的分析,结合目前机载软件开发的现状,对软件开发过程中的一些问题进行了论述,特别是对民用飞机多通道飞控软件的开发方法进行了探讨,提出了应用UML建模语言对飞控需求进行描述以消除不同开发组对需求理解的歧义,采用中间件以提高程序的开发质量与效率的软件开发方法,为有关人员提供了参考.     

无人机飞控软件测试方法研究

飞控软件是无人机飞行控制系统的控制神经中枢,对无人机飞控软件进行有效的测试是保证飞控系统质量的重要手段.根据某型无人机飞控软件及其开发特点,提出一种与软件开发过程同步的、基于多个测试环境的软件测试模型,重点阐述该模型涉及的单元和配置项测试方法.测试结果表明,提出的测试模型,测试工作能有效地发现无人机飞控软件在不同开发阶段引入的不同类型的软件缺陷,有效地保障了无人机飞控软件的安全性、可靠性和质量.     

适用于机载飞控系统的操作系统选型研究

新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统.     

基于Lab windows／CVI的电动舵机测试设备软件开发

基于Lab windows/CVI虚拟仪器开发平台,结合某飞控系统电动舵机自动测试设备的软件开发,介绍了数据库软件和功能模块软件应用的关键技术,并对软件的主要技术特点进行了分析.     

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

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

C919民用飞机飞控系统鉴定试验环境设计

C919 试验环境设计为C919 主飞控电子鉴定试验提供工具和手段,为机载设备适航检查提供支撑数据和证明材料。介绍C919 飞控系统鉴定试验的必要性以及主要的试验类型,对C919 飞控系统鉴定试验环境进行设计,包括试验环境的主要组成、功能以及测试时序和监控逻辑的设计等,并对民用飞机飞控系统鉴定试验环境的设计结果进行测试和评定。结果表明：该设计能够满足民用飞机鉴定试验要求,易于工程实现,过程数据处理算法以及鉴定试验结论报告能够支持适航符合性要求。     

民机主制造商对MBD软件供应商工程监控过程研究

基于模型的软件开发技术(Model-Based Development,简称MBD)具有可视化建模与仿真、自动生成符合适航要求的代码等特点,已在民用飞机机载设备研发领域被逐渐推广应用。越来越多使用MBD技术开发的机载软件的涌现,给民机机载软件适航符合性工作带来了前所未有的挑战。为解决这一问题,美国航空无线电技术委员会于2011年底发布了DO-178C作为民用航空界认可的机载软件符合性方法,并在此基础上发布了DO-331作为专门针对机载软件MBD技术的适航符合性要求的补充说明。通过对DO-178C和DO-331标准中MBD软件适用目标的研究,结合工程实践,总结归纳了一套民用飞机主制造商对MBD软件供应商的软件研发过程管控要求,用于在向适航当局表明符合性时提高适航置信度,以期对主制造商和供应商在处理MBD软件方面提供参考。     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

民机电传飞控系统CCAR 25.672符合性验证思路研究

首先阐述民机电传飞控系统适航符合性验证的定义,然后详细介绍了民机电传飞控系统适航符合性方法和选用原则,最后以国内某型民用客机为研究对象,开展了针对CCAR25.672条款的符合性验证思路的分析与研究。     

电子飞控飞机的飞行品质适航验证

FAA AC25-7A中的飞行品质评定方法 (HQRM)能够对使用电子飞控系统的民用运输机进行飞行品质评估。分析了HQRM评估程序以及相关适航要求,根据某民用飞机飞控系统功能危险分析,针对单侧升降舵卡阻这一典型故障,提出了在该失效状态下的模拟器飞行品质评估试验程序,分别给出了HQRM和相应军用标准评估方法,对军民评估方法的差异性和一致性进行了分析。研究结果对采用电子飞控系统的现代飞机的飞行品质适航验证具有工程参考意义。     

使用先前开发机载软件的适航要求研究

先前开发的机载软件在民用航空领域获得了越来越广泛的使用,随之而来的适航问题也越发突出。本文结合国际相关指导性文件以及型号工作经验,对使用先前开发机载软件的适航要求进行研究和阐述。     

民用飞机飞控系统MOC8工程模拟器验证方法分析

针对某民用飞机飞控系统MOC8适航符合性验证,提出了一种基于飞控系统功能危险性分析（FHA）的试验验证方法。采用飞行员在环试验,在工程模拟器上模拟FHA中的故障。通过对故障现象和故障影响进行评估,进而验证飞机的设计符合MOC8相关适航要求。阐述了验证方法和验证工具,详细介绍了验证方案和验证流程,并通过验证实例表明该方法的可行性和有效性。该验证方法可为同类机型的MOC8适航符合性验证提供有效途径,具有工程实践意义。     

民用直升机电传飞控系统适航专用条件分析

先进电传飞行控制系统能够在很大程度上提升民用直升机的操纵性与稳定性,但这种新颖设计给安全性的评估带来了巨大挑战。传统的适航条款可能无法完全覆盖电传飞控直升机的设计特征,需要制定相应的专用条件来判断直升机设计是否满足适航要求。本文围绕直升机电传飞控系统结构交联、操纵权限感知、飞行机组告警、飞行包线保护、指令信号完整性五种专用条件,指出专用条件关注的技术内容;说明条款制定的背景和意义,给出现有的符合性方法及验证技术,并提出直升机电传飞控在型号论证和设计过程中的关键技术问题。本文研究可为民用直升机的适航设计与审定提供一定参考。     

凯天取得C919国内机载系统制造符合性适航认证

<正>2014年12月25日,中航工业凯天与中航工业自控所为C919机载系统联合配套研制的飞控电子托架顺利通过了制造符合性适航认证审查,成为C919首个通过国内机载系统制造符合性适航认证的项目。飞控电子托架是C919飞控电子模块与机上的机械与电子接口,方便安装和拔出飞控电子模块,并引导机上环控冷风到飞控电子各计算模块。该产品适航取证的顺利取得,将为凯天做深做实C919等民机项目发展奠定坚实的基础。     

电传飞控共模适航要求及审定考虑

梳理和分析电传飞控系统共模相关适航要求,创新建立“电传飞控系统共模认知-控制审定流程模型”并提出针对共模问题的审查原则和考虑,有助于全面分析、识别并确定可能的共模失效、提出独立性设计要求,权衡设计解决方案等。应用该模型和审查考虑对某机型电传飞控系统有关复杂电子硬件差错共模的审查案例开展分析,识别确认共模因素和共模失效并分析各设计方案的可行性。研究成果对电传飞控系统及其它复杂系统共模的审查和设计具有指导和借鉴意义。     

航天飞控中心软件再工程方法与实践

从软件再工程的基本概念和模型入手,首先说明了航天飞控中心软件再工程的目标和意义,然后结合测控应用软件的特点,讨论了为保障功能、质量、开发周期等要求可以采取的再工程策略方法。文中还分析总结了作为航天指控中心首次软件再工程实践的“某应急控制系统”软件开发经验,对如何更加有效提高软件质量和融合新兴技术提出了观点。     

基于适航要求的襟缝翼控制计算机硬件架构设计与实践

本文分析了民用适航规章当中对于襟缝翼控制计算机的适航要求，提出了针对襟缝翼控制计算机硬件架构和余度设计要求，以及选用复杂电子硬件的额外设计要求。以某型襟缝翼控制计算机硬件架构设计为例，详细阐述了硬件架构和余度设计要求的实现与落实，为襟缝翼控制计算机的设计工作提供了参考与借鉴，也为飞控系统控制计算机的设计提供了思路与指导。     

民机电传飞控系统的飞行品质适航性设计与验证

现代民机多采用电传飞控系统，它使飞机的飞行品质发生了改变，但当前的适航规章并不完全适用于采用电传飞控系统的现代民机，因此，有必要对采用电传飞控系统的民机飞行品质的适航性设计与验证进行研究。     

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

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