自动驾驶仪软件开发与管理

以自动驾驶仪软件开发实践为基础,总结和分析自动驾驶仪软件开发的经验和教训,提出应以良好专业素养的人员定义软件的需求、以严格的需求追踪确保需求实现的完整性和正确性、以需求设计和实现人员分离的方式进行软件工程化开发、以独立的手段开展软件设计验证和确认、以严格的控制措施确保软件技术状态清晰等基本开发原则,保证机载嵌入式软件的产品和过程质量,保障飞行安全,确保机载嵌入式软件的成功开发。     

未来导弹系统的鲁棒自动驾驶仪设计

在设计新一代灵活机动型导弹时,面临的挑战将主要是高度非线性和快速时变动态特性,设计灵活机动型导弹的横向和滚动控制器时采用鲁棒控制技术。使用混合／调节技术获得包容全部飞行条件的控制功能,控制器设计成动压的函数。使用高保真非线性六自由度仿真来验证这种方法。自动驾驶仪设计性能和鲁棒性是同一系列横向加速度指令和一次实战试验来验证的。     

AП-34Б型自动驾驶仪的特点综述

本文阐述了装在米-8、米-6、米-171、米-10、米-10K及ИЭД-104直升机上的АП-34Б自动驾驶仪的主要特点及生产定型后,相继变化的主要部分,供从事直升机飞行、飞控、维修工程人员参考。     

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

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

基于声子晶体理论的 无人机自动驾驶仪减振方法

将声子晶体理论引入无人机自动驾驶仪的减振设计。在此基础上,设计了局域共振减振板,并采用遗传算法对局域共振减振板的材料力学参数和结构参数进行了优化设计。仿真和实验测试结果表明,局域共振减振板对无人机自动驾驶仪具有较好的减振功能。     

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向.     

基于模型的大气数据计算机实现

针对无人机用大气数据计算机,为使其满足适航审定要求,提出基于模型的实现方法。首先介绍了大气数据计算机获取适航的方式,并以获取技术标准规定项目批准书(CTSOA)为驱动,按照大气数据计算机CTSO标准提出满足最低性能标准的系统需求,将系统需求进行分解选择合适的传感器及硬件平台。随后对系统功能进行详细设计,并按照DO-178B规范完成大气数据计算机的模型搭建和仿真验证。验证结果表明,基于模型的大气数据计算机满足系统所提各项指标,开发流程符合DO-178B标准。     

从DO-178C的新变化透视软件适航关注点

深刻理解DO-178C标准对于提升机载软件开发能力具有重要意义。分别从软件生存周期过程活动和过程目标两个维度对比和分析DO-178C与DO-178B的差异,按照计划过程、开发过程、验证过程、配置管理过程、质量保证过程和合格审定联络过程分类,列举了每个过程新增的或变更的考虑内容,并详细分析了过程目标的变化。根据差异分析,从强调以目标为中心、源代码到目标码的映射、参数数据、双向追踪、基于需求的鲁棒性测试和耦合性验证6个方面解析了DO-178C强调的思想,并总结了一些可行的实践。     

基于DO-178B的民用飞机机载软件工具的鉴定和应用

随着民用机载系统复杂性的不断提高,软件工具在机载软件系统开发中被越来越广泛地使用.从适航合格审定角度探讨了软件工具在民用飞机领域的鉴定工作,包括工具鉴定准则、工具鉴定数据等.     

基于DO一178B的结构覆盖分析研究

结构覆盖分析（SCA）是基于DO一178B的软件验证的重要组成部分。由于DO一178B仅提出目标活动要求,不提供具体的工程技术方法,如何进行结构覆盖分析是困扰国内航电软件开发和验证的一大难题。通过与国外航电设备厂商的多年的软件国际合作,以及对DO一178B软件结构覆盖分析具体要求的深入研究,提出了一个结构覆盖分析过程和具体的实现方法。在多个软件国际合作项目中的实际应用表明,的研究成果满足DO一178B结构覆盖分析的要求。     

基于DO-178C及CMMI的民用航空发动机控制软件质量保证研究

随着嵌入式软件逐渐成为民用航空发动机控制系统这一复杂系统的最重要组成部分,对于其安全性和可靠性的要求也日渐提高,而软件因为其研发过程的特殊性,要保证其产品质量则必须依靠过程的监控与符合性检查.软件质量保证(SQA)就是评估软件生存周期过程及其输出,以保证目标得以满足,故障得以检测、评估、追踪和解决,并保证软件产品和软件生存周期资料符合合格审定要求的活动,是航空软件产品研发过程中重要的一环.以DO-178C为指导,结合CMMI三级关键过程域实践,总结出一套民用航空发动机控制软件的质量保证流程,为质量保证人员(QA)提供参考.     

基于DO-178C的机载软件质量保证与管理

DO-178C 作为机载软件适航可接受的符合性标准,明确要求机载软件综合过程中必须包含软件质量保证（SQA）过程。以机载软件的软件生命周期定义、过程和数据为基础,从目标、活动和符合性评审三个方面分析基于DO-178C 的软件质量保证过程的实施;结合软件项目质量管理技术和工具,从规划软件质量管理、管理软件质量和控制软件质量三个过程研究基于DO-178C 的软件质量管理方法并给出工程实践建议。结果表明：本文将软件质量保证与质量管理紧密结合,形成了适航要求的相关证据,提供了符合需求的民用机载软件,有效保证了机载软件的质量和持续改进措施。     

一种VxWorks BSP 软件自动生成技术的设计与实现

VxWorks BSP 软件的可视化开发和代码自动生成技术是基于BSP 中最小系统配置单元组件化封装以及常用外设驱动的标准化、通用化、组件化设计与封装实现的。该技术的实现可以使开发人员能够通过在可视化工具中填写对应硬件信息,完成BSP 软件代码及对应文档的自动生成,实现了软件需求的直观化输入到需求与设计的黑盒转化。能有效提高软件开发效率,增加软件成熟度,提高软件产品质量。     

基于SCADE的FADEC软件通用基准模型库开发

在航空发动机全权限数字电子控制（FADEC）软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和 质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上, 结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象, 通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境（SCADE）建模仿真工具 完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明：该基准库支撑了多个FADEC软件项 目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也 具有一定的借鉴意义。