舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。     

引信软件安全性仿真测试系统研究

首先分析了引信软件的特点,结合引信的高安全性要求,对引信软件安全性进行分析。然后详细讨论了构建引信软件安全性仿真测试系统的难点,提出了系统工作原理,对其特点进行了分析,指出了系统要实现的功能,描述了系统体系结构。     

航天测控软件共用技术研究与实现

软件共用是航天测控软件的发展趋势,分析了航天测控软件共用的可行性,并选取火箭遥测软件作为原型验证系统,提出了解决方案和设计方法,采用ICE中间件和构件技术实现了该原型验证系统,经测试验证,分布式部署的原型验证软件各项指标满足测控任务软件的技术要求,对航天测控软件共用研究具有重要的借鉴和指导意义。     

软件无线电技术在未来通信中的应用探讨

本文简要介绍了软件无线电的概念,并探讨了软件无线电技术在第三代移动通信系统,卫星通信系统和跳频信号侦察中的应用。最后对软件无线电的发展方向作了初步预测。     

指挥控制系统软件的安全性分析

在现代战争条件下,指挥控制系统软件的安全性是涉及减少系统风险、提高系统生存能力的一个重要问题。随着嵌入式计算机在指挥控制系统中被大量使用,其软件安全性问题也越来越突出。在明确了软件安全性定义的基础上,通过指挥控制系统中的一些安全性的实例,以事实证明软件安全性的重要性。着重介绍了软件安全性分析的目标、内容、过程和方法。     

基于软件无线电技术的伪码调制激光探测系统研究

为使一般伪码调制激光探测系统的升级和改进更简单、方便和廉价,提出把软件无线电技术应用于该系统.从软件无线电技术的基本原理入手阐述了系统的基本体系、硬件平台和软件系统实现.并设计了系统框图和DSP的硬件电路,编制了伪码产生的程序框图、信号处理软件流程图.实验研究表明:把软件无线电技术应用于伪码调制激光探测系统,为整个系统的模块化、小型化、智能化提供了新的有效途径.     

系统控制软件可靠性探讨

该文探讨了系统控制软件可靠性问题。讨论了系统分析、系统仿真、建立软件调试环境、系统联调、实用维护、软件定型、软件工程化诸方面对提高控制软件可靠性的重要作用。     

基于VxWorks的软件无线电硬件平台的设计

通过对软件无线电体系结构中的实时操作系统的分析,选用了性能可靠、实时性好的VxWorks作为系统的实时操作系统。然后构建了基于多DSP处理器4通道软件无线电硬件平台,使软件无线电的运算能力达到12 000 MFLOPS,很好地满足了系统的运算速度的要求。整个系统具有处理数据量大、传输速度快、实时性好、可扩展性好等诸多优点。     

一种光电瞄准系统的建模仿真方法

基于某型飞机的光电瞄准系统,给出了光电瞄准系统的工作原理,建立了光电瞄准系统接受到的热辐射强度和热辐射检测门限的算法模型.然后根据所建立的模型, 编写软件进行了仿真测试,验证了模型的合理性,形成了一个完整的光电瞄准系统的仿真软件.     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

面空导弹武器系统软件的健壮性设计

面空导弹武器系统软件的健壮性设计是软件开发工作的核心问题之一。首先介绍了面空导弹武器系统软件的特点并阐述了软件健壮性的内涵 ,表明它是软件可靠性、安全性和协调性均要满足的一种软件质量特性。在此基础上 ,提出了一种软件健壮性设计的概念 ,重点论述了软件可靠性设计、安全性设计和协调性设计的方法。     

基于配置管理的软件维护性评估

对软件质量进行定量化管理是软件工程领域的趋势,也是软件质量保证的重要手段。针对软件维护性定量评估难、数据获取难的问题,分析了软件维护性受配置管理关键要素的影响,提出利用配置管理数据对软件维护性间接评估的方法。结合软件工程开发实际,建立了配置管理数据收集过程,利用维护时间作为参数,统计5类功能点维护时间对软件维护性进行度量,实现了软件维护性的定量评估,并利用实际项目对方法的可行性和有效性进行了验证。     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

航天软件的配置管理

航天软件一般是航天系统中的一个要害软件.要开发一个合格的航天软件,必须严格遵循软件的配置管理.首先论述了航天软件的基本要求,在此基础上较详细介绍了软件配置管理的方法、步骤和要求.     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

武器装备软件的可靠性分析综述

首先论述了武器装备软件可靠性的重要性,指出了软件可靠性与硬件可靠性的主要区别,并依据装备软件研制总要求及武器装备软件的特点分析了装备软件可靠性的内涵、特点,介绍了装备软件可靠性指标的确定、软件可靠性模型以及装备软件可靠性的评估,最后分析讨论了几种提高武器装备软件可靠性的方法与途径。     

面向对象的软件维护性分析研究

对现有的软件维护性分析方法进行了比较,包括软件维护性度量分析方法、软件维护性指标分析方法和软件维护模型分析方法.针对面向对象的软件维护性的研究现状,在美国空军软件维护性评估理论基础上,提出了适合面向对象的软件维护性的定性分析规则与指标,对于提高软件的维护性具有一定的理论意义和实际应用价值.     

基于构件的装备管理综合信息系统软件开发

针对陆军部队装备管理综合信息系统软件开发的需要,采用基于构件的软件开发方法,建立了系统软件开发模型,分析了系统软件需求,分解了系统软件功能,设计了基于构件的系统软件多层体系结构,提出了业务构件开发和系统软件集成方法。     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

信息化武器装备系统中的软件思维

在信息化条件下,重视软件成为共识,但是重视装备软件不仅是在功能技术层面上,还应在思维层面上审视其对武器装备系统的思想内涵和发展思路的深刻影响.从武器装备系统中软硬件的逻辑关系出发,研究软件如何从思维层面影响现代武器装备系统,可以更好地从软件的视角上去理解和把握武器装备系统,真正认识到软件的“灵魂”作用.