浅谈软件质量

能力成熟度模型CMM是目前国际上最流行、最实用的软件开发过程标准和软件企业成熟度等级认证标准，文中通过对CMM质量体系的基本介绍，对于引寻建立软件特别是高可靠性机载软件的质量体系和开发管理规范有比较明显的指导意义。     

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

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

敏捷开发在某型飞机机载软件研制中的应用

针对机载软件设计需求复杂、设计开发团队庞大以及版本交付周期长等特点,概括介绍了敏捷软件开发这种新型的"轻便式"软件开发方法,并以某型飞机襟缝翼控制器机载软件开发为例,结合软件设计开发过程,对敏捷开发方法进行了应用,该方法大大提高了机载软件研制的效率和可靠性。     

基于GJB2786A-2009的军用软件质量评价技术研究

以ISO/IEC9126软件质量模型为基础,结合GJB 2786A军用软件开发通用要求,研制符合军用软件特点及研制过程的软件质量模型,使其能够在军用软件中得以应用。     

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

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

基于国家军用标准的软件测试研究

阐述我国航空工业领域目前主流软件开发的国家军用标准体系,分析了在国军标体系中的软件测试以及航空工业的软件独立第三方测试行业基本现状。     

会议消息

▲1982年11月24日～28日三○一所在成都市召开了机载电子设备和机载武器、火控系统的美国军用标准的消化分析和标准规划制订会议。     

基于工具服务历史的机载软件工具鉴定方法

目前,随着各类工具在国内民机机载软件研制中的大量使用,软件研制团队在软件开发过程中,不仅要考虑机载软件的适航审定要求,也要考虑所用工具的鉴定要求。以DO-178C和DO-330标准为基础,介绍了判断工具是否需要鉴定的流程、确定工具鉴定等级的方法、工具鉴定的生命周期以及工具鉴定的利益相关方和职责,并分析和研究了工具服务历史方法在机载软件工具鉴定中的应用,说明了对工具服务历史进行评估的要求和活动。最后,通过项目实例证明基于工具服务历史方法进行机载软件工具鉴定是可行的。     

RTCA/DO-178A 《机载系统和设备软件的合格审定要求》浅析及使用建议

软件标准是我国标准化工作中一个比较新的领域,不少人对它的重要性还认识不足,对其内容还很生疏。本刊在1990年第三期上发表的六一八所张万良同志的《RTCA/DO-178A“机载系统和设备审定中的软件考虑”介绍》一文,着重介绍RTCA/DO-178A的内容,而李培同志撰写的本文,则是部下达的并已通过了评审的《RTCA/DO-178A“机载系统和设备软件的合格审定要求”使用建议》研究报告的主要内容。两文各有侧重,后者对制定我国相应航空工业标准具有较大参考价值,故本刊予以发表。     

启事

三○一研究所现存有《通用零件》、《机床夹具零件》、《工艺装配编号制度》、《光面量规》等资料。这些资料是供各企业在生产准备工作中设计与制造工艺装备时贯彻使用的部颁标准资料。此外,尚有部分《美国军用标准目录选编》。本目录是根据《美国军用规格和军用标准》一九七一年版本选编。目录中搜集了有关航空方面的美国军用标准、标     

大型客机电传飞控系统软件开发应用研究

多通道软件开发的复杂性和适航符合性要求是大型客机飞控机载软件开发需要考虑的重要问题。从软件的工程化管理以及软件的开发、验证和确认等方面探讨了既能满足安全性和可靠性要求又能符合适航要求的电传飞控系统软件的开发管理方式。     

RTCA/DO 331标准研究

为推动基于模型的开发和验证技术的发展,同时为了给机载软件基于模型的开发和验证活动提供合格审定指南,美国航空无线电委员会于2011年发布了DO-331《基于模型的开发和验证》标准,作为对DO-178C《机载系统和设备合格审定中的软件考虑》标准的补充。该文主要从DO-331文档的组织架构编排,模型的使用和分类,基于模型研制相关的软件生命周期过程、数据和符合性验证目标几个方面对其进行了提炼和解读,可帮助应用该标准的人员快速理解文档的核心内容,并把握基于模型的开发和验证相关的合格审定关注点,从而在项目实施过程中更好地表明适航符合性。     

分层架构下基于模型的软件—体化开发

日益复杂的软件功能,高安全性系统的苛刻要求以及不断压缩的研制周期等因素推动了软件开发方法的创新。本文以机载软件为对象,介绍了基于模型和分层架构的一体化软件开发与验证方法。     

关于HB6466—90《软件质量保证计划编制规定》的几点说明

软件质量问题是“软件危机”的主要症结之一,也是软件工程研究的核心。严密制定、切实执行一个适当的软件质量保证计划,不仅能保证和提高软件开发的质量,而且有助于提高软件的可维护性,减少返工,降低成本,提高软件的开发效率。为此我部参照采用ANSI/IEEE std730—1984《软件质量保证计划》,参考MIL-S-52779A《软件质量保证大纲》,并吸取我国军标以及各专业部门有关软件质量标准和计划的执     

新标准着眼于航电软件的交叉使用

就在美国国防部发布削减军费预算计划的时候．美国一个政府／行业组织公布了一项开放式系统标准．即在不同的军用飞行器平台上交叉使用航电软件．以达到节省开支的目的。这个称作未来机载性能环境（FACE）的技术标准是1月30日公布的。     

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

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

机载电子设备机箱、安装架等三项国军标简介

本文对涉及到机载电子设备安装的三个国家军用标准(GJB441—88、GJB779—89和GJB780—89),分别就他们的制定依据,主要内容和应用要点以及三项标准的相互关系,作了简要说明。     

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

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

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

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

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

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