软件工程系统论研究初探

基于一般系统论和工程系统论以及软件工程的特点提出了建立软件工程系统论的设想,并就软件工程系统论的研究意义、学科性质与体系、研究内容、研究方法等问题进行了初步探讨.工程系统论以各种各样的工程系统为其研究目标,其方法论体系适用于软件工程.创立软件工程系统论的科学体系及理论框架有助于切实贯彻系统科学和工程系统的基本思想,提升软件工程的研究起点,促进软件工程应用基础研究的系统化、严谨化和科学化.按照工程系统论提出的分类研究方法,可将软件工程系统初步分解为软件工程对象系统、软件工程过程系统、软件工程技术系统、软件工程支持系统、软件工程组织系统、软件工程管理系统等6大子系统.     

飞行管理系统机载性能数据库应用技术研究

飞行管理系统(FMS)在垂直轨迹预计、垂直导航参数信息预报和垂直导引功能方面对飞行性能数据计算提出了大量需求,为了高效管理和实时使用飞行性能数据,提出了设计与创建机载性能数据库,分析了性能管理中机载性能数据库的组成、表结构、数据库文件生成与加载过程。提出采用性能数据库管理功能,进行读取、索引、查询、插值等方式处理性能数据,提高了飞行管理机载软件实时计算效率,有力地支持了机载软件工程化开发和系统验证。     

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

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

飞机机载软件的工程化管理

在总结重点型号研制经验的基础上,首次提出了飞机机载软件工程化管理概念,探讨了作为飞机型号总体单位对机载软件实施工程化管理的一般程序、飞机型号软件开发过程的控制点,以及软件配置状态的控制要求.     

机载软件适航技术研究与工程应用

通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程.过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标.通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求.     

飞行管理系统性能计算策略分析

根据飞行管理系统机载软件对于性能计算的需求,提出了理论公式计算方法和插值计算方法,对于传统的理论公式计算方法进行了延迟时间数据分析.对以上两种计算方法分别从计算过程、软件工程、系统工程三个方面进行了分析和比较后得出,插值计算方法在机载飞行管理系统软件中是比较合理的方法.针对大型客机先进的航空电子系统,描述了以上两种计算方法分别在电子飞行包软件和飞行管理机载软件中的不同应用和联系.     

载人航天工程软件工程化技术标准若干技术探讨

根据载人航天软件系统的新要求、新特点,针对载人航天工程软件工程化技术标准,从工程应用角度探讨软件系统设计、软件系统验证、软件安全性等技术问题,为标准的执行和进一步完善提供参考。     

新型通用飞机机载数据记录仪的研究

分析了国内外通用飞机机载数据记录仪的现状,指出我国现有通用飞机机载数据记录仪所存在的不足之处.同时,根据未来通用飞机的发展,深入研究了新型通用飞机机载数据记录仪的功能、特点需求,并且基于模块化思想,提出了新型通用飞机机载数据记录仪的设计思路,给出了新型通用飞机机载数据记录仪的软硬件体系结构,并对其核心模块的功能进行了详细的阐述.最后,简述了新型通用飞机机载数据记录仪的应用.     

现代机载空面武器系统试飞技术

分析了机载空面武器系统的技术特点,从机载武器定型试飞考核及作战需求角度出发,借鉴国内外武器系统飞行试验技术,结合长期的试飞实践经验,提出了机载空面非制导武器系统和机载空面精确制导武器系统试飞的总体思路、评估方法、测控技术等,并对靶场建设、机载武器系统试飞组织实施与协调提出了见解,可供开展机载武器系统试飞技术研究参考.     

飞机燃油箱氮气惰化的机理分析及应用

本文分析了机载惰性气体产生系统对燃油箱惰化进行了物理、化学作用过程的抑爆机理.同时介绍了飞机燃油箱惰化系统的组成,以及核心组件空气分离装置;并分析了油箱惰化系统如何合理地分配惰性气体,保持需求的氧浓度且使其均匀分布,以及惰性气体直接进入油箱洗涤惰化和充填冲洗的应用.     

需求工程方法在机载系统研发中的应用研究

通过对需求工程的理论方法进行阐述,探讨机载系统研发过程中开展需求工程方法理论的应用研究。结合MBSE系统工程V模型流程说明航空产品研发各阶段与需求工程如何对应;结合ARP 4754A阐述复杂航空系统正向研发流程中需求工程如何实现。重点剖析机载系统研发过程中如何应用需求工程的技术流程,即需求开发,进行需求捕获—需求分析—需求分配—需求验证,来提升研发效率和产品质量,并辅以空气管理系统研发为示例演示系统研制过程中的需求开发过程。     

机载时间敏感组网分析综述

时间敏感网络“准时、准确”的调度与传输机制可以有效地提升工业自动化系统、车载综合电子系统中信息交互的确定性，潜在的也成为了机载系统高确定性组网的候选方案之一，但如何将其多种时间敏感整形和调度机制与机载组网环境和需求进行匹配，是当下首要解决的问题。在对现阶段的时间敏感网络的标准进行总结的基础上，详细分析了机载组网的需求，并从时间敏感网络调度与优化、保证时延边界分析两方面总结了当下时间敏感网络相关研究的最新进展，以及与机载组网环境相结合的考虑，进一步针对机载组网的典型需求，从协议剪裁、体系管理、模型工程、可靠安全、无线混传等方面详细讨论了时间敏感网络技术在机载环境应用所面临的挑战和关键技术。     

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

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

载人运载火箭软件工程化二十年实践

自我国载人航天工程启动以来,在航天领域中系统地开展了软件工程化的应用推广,其中载人运载火箭软件研制也进行了有益的探索。对CZ-2F火箭软件工程化的历程进行回顾,从发展段的自发行为,到成长段的规范管理,至今天技术和管理水平的不断提升;对比统计了同时期各型号软件质量问题,分析了问题的性质以及问题发现的环节,可以看出软件工程化对提高载人运载火箭软件质量起到了显著的效果;最后结合火箭的特点提出了六个方面的工程化工作重点。     

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

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

机载惯性导航技术综述

在论述机载惯性导航技术的技术特点和使用需求的基础上,分析了国内外典型机载惯导产品的现状和技术指标,同时概括了机载惯性导航技术面临的挑战,并就未来的发展趋势进行了讨论和展望.     

空中客车公司需求管理应用综述

航空行业需求管理的推广应用,面临选择适合行业特点及发展水平的需求管理建设及应用模式的问题。为此,本文以空中客车公司为例,对其需求管理的应用发展历程、文件体系构成、实施特点、软件架构等方面进行了研究分析。空客公司提出的基于需求的工程(RBE),经过十多年的发展,逐步形成了以功能需求、安全性需求、机载软件需求等为主线的需求管控技术体系及数字化应用环境,并已成为空客公司先进数字化研发体系的重要组成。这将为航空行业需求管理建设和应用提供必要的参考。     

一个改进的软件过程工程元模型ISPEM

对象管理组织(OMG)提出的软件过程工程元模型(SPEM)在软件工程过程领域具有较强的通用性和较好的建模能力。但是，软件过程工程元模型在一致性和表达力上存在不足。本文基于UML2．0活动元模型改进SPEM中活动的语义，采用泛化机制扩大实参的表达范围，细化形参和限制的表达粒度，使得改进的软件过程工程元模型(ISPEM)在语义上与软件工程过程领域的语义更为一致，表达力更强，更加符合软件工程过程领域建模的需要。     

航空机载武器外挂CAPP系统开发与应用

在分析航空机载武器外挂产品和工艺特点的基础上,详细论述了航空机载武器外挂产品对于计算机辅助工艺设计与管理的需求,并结合在某航空企业的系统开发与实施,建立了基于CAPPFramework平台的航空机载武器外挂CAPP系统。     

论武器装备软件研制的工程化管理

结合某飞机机载系统软件研制过程中工程化管理的做法和体会，讨论了软件工程化管理应注意解决好的一些问题。包括建立软件研制管理体系和责任分工、软件研制阶段的划分和质量监控、软件重要度分类、软件版本的控制和配置管理、软件第三方测试（即确认性独立测试）等方面。