装备软件重用技术

提高装备集成化水平是当前装备研究的热点问题.装备软件复用技术是提高装备软件生产效率,保障软件产品质量的重要手段.文中介绍了软件复用的优点、分类,重点论述了基于面向对象和基于构件的软件重用技术的主要特征及实现方式,给出基于构件的装备信息管理系统开发实例.     

载荷操作控制中心可移植可重用软件——用于高级地面数据系统的模块

哥达德航天飞行中心的任务操作部（ＭＯＤ）建造了多个供飞行操作小组监控卫星的任务操作中心。通过软件重用减少系统寿命期成本已成为ＭＯＤ优先考虑的问题。ＭＯＤ的可移植载荷操作控制中心（ＴＰＯＣＣ）开发小组建立了一个庞大的数据库，由１４个子系统组成，包括多个可重用通用模块的１０００００条已交付的源指令。迄今，已做成９个基于ＴＰＯＣＣ的控制中心，负责支持１１颗卫星，软件重用率平均达到７５％以上。本文介绍ＴＰ     

在结构设计中实现软件的可重用性

本文描述了重用软件设计准则，针对几种典型的软件结构，说明如何在设计中实现软件重用性；并以测控软件为例，进行了测控软件的重用设计。     

军品软件定价方法研究

现代作战飞机技术战术指标与作战效能的提高使得军品软件的代码行与功能点越来越多,软件系统的规模越来越大,软件研制的复杂性也越来越高,造成软件在飞机成本中的比例逐渐升高。阐述了开展软件定价方法研究的必要性,分析了国外开展软件定价方法研究的进展,研究了美军采用参数模型法进行软件定价的主要方法,介绍了美军进行软件价格管理的有益经验,提出了我国开展相关工作的建议,为加强军品软件价格管理工作,提高军费使用效益提供有益的借鉴和参考。     

NNW-HyFLOW高超声速流动模拟软件框架设计

NNW-HyFLOW在国家数值风洞（NNW）工程支持下,由风雷开源软件提供基础框架支撑,将建设成为基于结构/非结构混合网格,面向高超声速应用领域的国产自主工业CFD软件,具备高温气体热化学非平衡效应模拟及其相关气动力、气动热和气动物理特性计算分析等主要特色功能。本文从框架设计、数据结构、耦合方法、并行计算方法以及接口设计等方面对软件设计思想和框架特点进行了介绍,给出了求解器采用的理论模型、核心数值算法及其实现方法,结合HEG风洞试验、RAM-C飞行试验、Electre飞行试验以及航天飞机OV102飞行试验等典型算例开展了数值模拟。研究表明：NNW-HyFLOW具有底层代码复用、功能兼容性好、扩展能力强和接口灵活等优点,其当前测试版本已经具备了较好的高超声速非平衡流动数值模拟能力,在热化学非平衡效应及其影响的气动力特性、气动热环境和等离子体分布特性预测与评估方面,具有较高的数值计算精准度,初步满足了高超声速复杂飞行器高温非平衡流动数值模拟的需求。     

LabVIEW软件中的计数分频模块设计

介绍在具有虚拟仪器技术的LabVIEW软件中，开发设计以Intel公司系列可编程序间隔定时器8253／8254为硬件平台的计数分频模块。该软件模块使用简便、可靠，系统开销极小，不需要中介翻译软件和动态链接库，运行速度快，所生成的优化代码的执行速度与C语言编译后的可执行程序代码的执行速度相当。     

美洛克希德·马丁公司完成SBIRS软件评审

美国加利福尼亚州森尼韦尔的洛克希德·马丁（Lockheed Martin）航天系统公司，日前已经完成了对天基红外系统（SBIRS）导弹预警卫星飞行软件的全面评审。该飞行软件是为指挥和控制SBIRS导弹预警卫星而设计的。设计SBIRS的目的是，为全球范围的导弹发射提供预警，同时为导弹防御、技术情报和战场空间特征等任务提供保障。     

雷达软件化构想

提出了雷达进行软件化的构想思路,雷达技术的发展应该是从"模拟雷达"向"数字雷达"到"软件雷达"的发展规律;对"软件雷达"的基本构成、主要研究内容和发展前景进行了初步探讨.     

民机特情乘务训练模拟软件的设计研究

为提高飞行乘务员在民机飞行过程中处理事故的应对能力,消除因人为因素产生的损失,保证飞行的安全性,根据2003年中国国际航空公司编制的飞行乘务员培训大纲中关于乘务应急生存训练内容,提炼出了关于乘务应急生存训练的框架,介绍了编制飞行乘务员应急培训所需要培训模拟软件的设计思路,以期为民机的安全飞行提供技术保障支持。     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

载荷操作控制中心可移植可重用软件——用于高级地面数据系统的模块

哥达德航天飞行中心的任务操作部(MOD)建造了多个供飞行操作小组监控卫星的任务操作中心。通过软件重用减少系统寿命期成本已成为MOD优先考虑的问题。MOD的可移植载荷操作控制中心(TPOCC)开发小组建立了一个庞大的数据库,由14个子系统组成,包括多个可重用通用模块的100000条已交付的源指令。 迄今,已做成9个基于对TPOCC的控制中心,负责支持11颗卫星,软件重用率平均达到75％以上。本文介绍TPOCC模块是如何开发的,以及基本模块开发者、任务操作小组和用户是如何参与开发过程的。     

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

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

ARINC 653─实现软件重用

软件重用模块电子ARINC653（APEX）规范的主要目标,是通过为应用软件提供标准的操作环境来实现软件重用。软件重用可由两种方式实现：①由重用操作系统,该系统通过应用频谱提供一些通用功能,如健康监控、过程管理、通信原理;②由重用提供航空电子应用功能的应用软件。通过在应用和操作系统之间提供标准的接口,ARINC653促进这两种形式的重用。由于操作系统与基础硬件平台自然紧密地连接在一起,所以操作系统的重用限制了应用相同硬件的模块,除非能严格地确定一种象COEX（核执行接口）这样的新型标准。应用软件通常取决于实际的…     

一种半实物仿真试验软件安全性评估方法

针对机载软件在多因素耦合复杂飞行情形下的安全性评估与开发安全控制,提出一种基于半实物仿真试验的软件安全性评估方法。介绍了采用飞行模拟器试验对软件安全性进行评估的思想;设计了实施该方法的操作流程;建立了试验平台中仿真系统主要的数学模型;借鉴生物学理论,分析了软件缺陷诱发飞机飞行危险的机理;最后,运用该方法对增稳系统嵌入式软件安全性进行了评估,验证了该方法运用于工程实践的可行性。利用该方法能够减少潜在的机载软件缺陷,降低复杂情形下软件诱发飞机功能危险的概率,提高机载软件安全性。     

软件故障诊断初探

介绍国内外软件故障诊断技术的研究现状,并比较软件与硬件的差异,分析软件故障产生的原因和软件失效机理,各种硬件系统故障诊断技术,并对软件故障诊断进行了初步的探讨。     

用容错技术使SDI软件更可靠

目前正在继续探讨 SDI 全动战略防御软件是否能够在任何时候都不会出错.如果给定有效资源和时间的有限特性.一千万条代码完全不出错是不太可能的.但是,容错软件的应用可在合适的时间内使软件可靠性满足调度要求.SDI 软件的目标就是要在敌方的弹道导弹的助推阶段.进入空间的中途阶段或者进入大气层的最后阶段摧毁它。为此需要在美     

模拟飞行软件在飞行签派工作中的运用

由美国微软公司开发的“微软飞行模拟器”（Microsoft Flight Simulator）是一款具有较高仿真度的模拟飞行软件，它是全球飞行模拟爱好者的首选，同时也是国际电子竞技比赛飞行类的指定使用软件。目前广泛使用的是Microsoft Flight Simulator 2004（以下简称FS2004）版，很多飞行爱好者通过它了解飞行并体验飞行。本人是一名航空公司的签派员，FS软件的使用为我的工作带来许多非常有益的帮助。如何更好地发挥FS软件的优势和特点，     

软件行为的一种静态可信度量模型

根据用户必需的软件中可能隐藏的缺陷或者破坏行为在整个软件中所占比例极低、而当前一般的恶意代码分析技术不适合此类软件的可信度量分析这种情况,提出了理想化的主体行为静态可信的强约束条件,然后结合软件业务流程的确定性、软件代码的可见性以及信息资产风险可评估性,提出了适合工程应用的主体行为静态可信的弱约束条件,并基于主体行为静态可信的弱约束条件构建了模型的实现框架,对用户必需的软件是否将如实地按照用户需求运行进行可信度量,提前确定软件中是否含有对信息系统或信息资产的潜在威胁,以便采取必要的防护措施。     

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

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

飞行控制律机载软件三角函数实现方法研究

针对飞行控制律机载软件设计中编译环境自带的基本函数源代码不开放,导致收敛性无法严格保证,以及精度、运行时间和占用空间不可控等问题,采用手工代码编写实现基本函数的方式,基于工程应用需求,对飞行控制律中最基本的正弦函数,提出三种方法进行软件手工代码实现,并从精度、占用空间和运行时间三方面对所提出的三种方法进行对比分析。结果表明,所提出的三种方法均能满足工程实现要求,其中,固定项法具有最优的综合性能。