加强软件质量控制,提高军用软件的可靠性水平

针对军用软件在质量和可靠性方面存在的问题，提出了提高军用软件质量和可靠性的措施和方法。     

嵌入式系统的组成、设计与调试

嵌入式系统是将先进的计算机技术、半导体技术和电子技术相结合的产物。本文介绍了嵌入式系统的组成,并针对嵌入式系统自身的特点,深入地阐述了设计和调试方面的一些关键技术。     

一种基于UML的面向对象需求分析方法

 提出一种实用的基于UML 的需求分析及其建模方法, 以活动图模型来表达业务模型, 以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑, 以用例表达系统需求, 讨论了需求分析及其建模的过程概念, 方法实施的构造算法。该方法已经在空间天文望远镜系统需求分析中得到成功应用。     

基于DSP的数字下变频软件实现

数字下变频(DDC)技术将宽带大数据流信号变成窄带低数据流信号,以便 DSP 实时处理。在分析数字下变频的基本模型基础上,提出了一种基于 DSP 芯片的数字下变频软件实现方案,讨论了相应的算法及分析,并给出了软件实现的主程序结构。软件数字下变频比常规 DDC专用芯片有更大的灵活性、适应性和更高的处理中频。     

电磁环境监测系统设计

详细地介绍了电磁环境监测系统的研究设计，同时介绍了软件及计算机辅助测试设计。     

嵌入式电子飞行仪表系统软件设计

设计了一种基于嵌入式操作系统的电子飞行仪表系统软件。介绍了电子飞行仪表系统的基本构成,在嵌入式操作系统上设计并实现了主飞行模式、导航模式、发动机信息模式等功能。分析了电子飞行仪表系统软件设计的原则和结构,介绍了软件的类和消息机制。此外,通过在嵌入式系统的有限资源和三维处理的复杂算法间进行合理的折衷,实现了空间变换、立体投影和曲线消隐等算法模块,构成了自行设计的三维地形引擎。软件已经在基于Intel,Motorola等多种嵌入式处理器的系统上下载成功并且能够稳定运行。     

远程飞航导弹组合制导仿真软件

介绍了研制的远程飞航导弹组合制导仿真软件。首先建立了制导系统各个子系统模块数学模型,然后给出了主要的程序流程,最后介绍了软件包的人机界面和使用方法。     

基于CORBA构件的软件体系结构模型的实现

软件体系结构是一种新型的基于构件以及构件库的深层的软件复用,它的提出使超大规模软件设计的简化成为了可能。本文提出了基于CORBA构件的软件体系结构模型,并通过给出ADL的BNF语法,扩充CIDL编译器和CORBA的服务,从而描述了其实现模型。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

基于QNX的分布式异构仿真平台的实现

QNX作为嵌入式实时操作系统之一,它具有强实时、高可靠性、可剪裁、可配置、可扩充、可移植的特点,支持主流嵌入式处理器,目前主要应用在军事武器装备和航空航天领域.本文从航空电子系统对实时操作系统的要求出发,着重介绍了嵌入式实时操作系统QNX在PC104平台上的移植和配置网络连接通信技术,实现了基于QNX的分布式异构仿真平台,并通过实例验证了QNX的实时通信机制,建立了QNX在航空电子系统中应用的雏形,并给出了下一步工作的重点.