软件重用技术及在航天飞行软件中的应用

分析软件重用的主要技术问题,介绍国内外航天飞行软件重用技术研究和应用状况,涉及飞行软件的代码重用、任务重用、代码自动生成、软件生产线等技术。据此,探讨飞行软件重用技术的主要研究方向,为飞行软件重用技术研究与应用提供参考信息。     

靶场测控设备软件质量保障新模式研究

针对靶场测控设备软件运行不稳定、软件中隐含许多问题的现状,研究适合于其开发、维护的新的质量保障模式,提出了软件巡回测试的方法;分析了造成软件问题的原因是研制单位软件研制能力不足、过程管理不规范;研究了软件巡回测试的特点、条件和方法。实践证明,巡回测试是提高测控设备软件健壮性和可靠性的有效方法,周期性的软件巡回测试是一个发现和解决测控设备软件问题的有效质量保障模式。     

试论我国软件业发展及民航软件系统建设投标策略

本文通过对我国软件业发展现状及问题分析，提出软件制作规范，软件客户、软件招投标、软件客户化过程等方面的想法和建议。     

SGS装置软件集成

讨论了基于VB6．0开发平台的跨平台软件集成。根据SGS装置的特殊需求，考虑到电机控制软件、HPGe探测器谱仪控制及谱分析软件、Monte Carlo模拟计算软件、线性方程组求解软件以及电子表格软件各自的特点，对装置软件的工作流程进行了优化，使得由上述各功能软件集成得到的装置软件在正确有效地完成装置任务的前提下，采用并行方式进行测量和数据分析操作，充分节省装置的工作时间，同时具有良好的人机信息交互功能。     

航空装备故障报告闭环系统计算机辅助管理软件FRMS的研制

论述了航空装备故障报告闭环系统（ＦＲＡＣＡＳ）的计算机工程应用软件ＦＲＭＳ的开发和研制。阐述了ＦＲＭＳ软件的开发目的、软件功能、结构、软件的设计准则和特点以及软件实施的效益,并以实例展示了软件的应用实况。     

机载软件计划阶段评审研究

本文针对机载软件研制流程,分析了机载软件适航审查,包括4个阶段:软件计划阶段评审(SOI#1)、软件开发阶段评审(SOI#2)、软件验证阶段评审(SOI#3)和软件最终审定评审(SOI#4)。本文在对高升力系统软件功能进行分析的基础上,给出了高升力系统软件SOI#1审查的软件生命周期数据、SOI#1评审目标和过程,为软件后续评审奠定了基础。     

软件雷达技术研究综述

从较为成熟的软件无线电技术出发,介绍了软件雷达的基本概念、通用结构、通用信号处理平台和适用于软件雷达的数据结构,总结了软件雷达的优越性能和发展趋势。     

民用飞机主制造商机载软件更改策略研究

在"主制造商-供应商"的飞机研制体系下,供应商负责研制机载软件并交付给主制造商,主制造商完成系统集成试验和飞机级试验。机载软件更改会对主制造商飞机研制工作产生影响,包括工作量、进度、成本等方面。首先识别了机载软件更改起因,对不同类别的更改进行分类,同时分析了机载软件更改对主制造商飞机研制工作的影响,包括由机载软件更改引起的额外工作以及研发成本,最后从机载软件快速转换、软件加载以及主制造商验证试验方面提出了主制造商机载软件更改策略,从而降低机载软件更改对主制造商飞机研制活动的不利影响。     

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

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

军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

计算机软件可靠性分析及抗不可靠性方法

现代技术数字化、自动化、智能化、系统化及综合一体化的高速发展,计算机软件起着重要作用。软件的可靠性是软件研制和开发中的关键问题。对软件的可靠性进行了全面分析,以实例阐明不可靠软件导致的突发性、灾难性后果。给出了软件可靠性预计表达式。提出并探索了排除软件不可靠的方法,这些方法可方便地应用于工程实践。     

软件容错及一个N文本容错系统的实现

软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。     

浅论软件项目管理中的质量保证

质量保证在软件项目管理中能够起到积极、重要的作用,质量保证活动的执行效果直接影响到项目的质量甚至项目的成败。本文结合某公司实施CMM二级评估和软件项目经验,论述了在软件项目管理中实施质量保证的方法、内容和要求,并提出质量保证工作与软件过程的持续改进相辅相成以促进软件项目管理水平的提高。     

DEA测量机软件之评介

本文介绍意大利DEA公司测量机软件的概况,述及各软件模块的功能、优缺点及其应用范围,可供测量机选型、软件扩充及设计时参考。     

航空结构分析CAE软件发展现状与未来挑战

结构分析CAE软件是核心技术研究的重要手段、重大装备研制的根本保障和智能制造推进的关键支撑,高水平自主可控(航空)结构分析CAE软件对航空科学技术领先创新和装备研制体系完整安全具有重大战略意义。深度梳理了国内外结构分析CAE软件的发展历程,系统分析了其一般性发展规律。从软件的技术复杂度、研发周期、装备需求和可靠性等4个维度,剖析了自主结构分析软件研发面临的时代挑战;从通用分析功能群、专用分析工具链和国产数据资源池3个层次阐述了自主(航空)结构分析CAE软件发展的广义内涵、总体思路和关键技术。最后,基于目前工业软件的世情国情和科学发展规律,展望了自主可控(航空)结构分析CAE软件的未来之路。     

提高机载软件安全性的过程保证方法

在航空电子机载软件研制中,通常重点关注和实现软件的功能和性能,而对软件安全性、完整性以及追溯性不够重视。提出一套以典型软件生存周期为基础,在软件研发各过程中增加具体的安全性相关活动以提高软件安全性的过程保证方法。该方法在某型飞机显示系统软件项目开发和审定中取得一定成效。     

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

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

基于DSP和FPGA的软件无线电平台研究

从硬件和软件两方面建立了基于DSP和FPGA的软件无线电平台。重点研究了该实验平台多模式数字调制解调的硬件实现结构、软件实现结构和不同模式之间的切换等,充分体现了软件无线电系统的灵活性、开放性和兼容性等特点。     

软件逆向工程分析技术研究及应用

软件逆向工程对软件维护、复用和创新提供了可靠保证,但一直未见成熟的软件逆向工程理论和方法。介绍了软件逆向工程的基本概念,主要研究了软件逆向分析中常用的静态分析方法和动态分析方法,以汽车实时嵌入式控制系统软件为例介绍了两种分析方法的应用,并对两种分析方法进行比较,可为软件逆向工程的发展和深入研究提供借鉴。     

一种远程维护发布系统的设计与实现

为了满足高密度测控任务需求,有效缩短软件维护发布周期,提高工作效率,加强任务软件的有效配置、管理及控制,提供海上测控软件远程支持,研究了一种海上测控软件远程维护发布系统,该系统可实现测控软件的统一维护发布、安装、使用和更新等远程管理。文章详细阐述了该系统的体系结构、C/S模式的软件组成（包括服务器端系统发布管理软件和客户端更新代理软件）、主要功能模块及客户端工作流程,分析阐述了该系统的安全机制等技术。