适用于航天软件开发的可靠性度量

介绍了软件可靠性和软件度量的概念 ,阐述了航天控制软件的特点 ,提出了可靠性度量的选择准则 ,推荐了 14种适用于航天控制软件的可靠性度量     

用于相异性设计的模糊重用库

容错设计是提高软件可靠性的有效途径，但是由于设计多样性实现很困难且开销大，导致该项技术实现很困难。为此，提出了一个基于重用的应用框架。该框架的提出将相异性设计过程转变为根据可重用参数从大量具有相同功能软件组件中选择合适的组件来构成容错系统，从而简化了软件开发过程。同时为了更准确地描述组件，采用了模糊逻辑来表达其与上层概念的关联关系。本文介绍了重用库系统结构的设计及其对容错设计的支持。     

软件可靠性修改的Schneidewind增长模型的特性分析

本文对软件可靠性修改的Ｓｃｈｎｅｉｄｅｗｉｎｄ增长模型进行了详细的数值特性分析，剖析了该模型的参数解结构，从而构造了模型参数估计的高效求解算法，并进行了相应的数值实验。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

航空机载设备的软件文档种类要求

软件文档是航空机载设备软件的重要组成部分。应遵循适用的标准来规定航空机载设备的软件文档种类要求。应普遍重视软件编码标准和软件配置索引这两种文档，而通常规定的用户手册则不是必需的。     

Petri网模型在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

基于飞行程序的测控软件调度模式及其实现

在分析测控软件调度基本需求的基础上，提出基于飞行程序的测控软件调度模式用以提高地面操作的自动化程度，讨论了该调度模式实现中的关键技术和解决途径。     

卫星通用测控模拟器设计与实现

介绍了一种适用于不同型号、不同环境的卫星通用测控模拟器的设计实现方法和应用现状及发展前景。该设备在70MHz以下完全采用了数字化处理，可通过连接某一频段内上／下变频器实现射频通用测控模拟器。     

飞行参数主控计算机主机板的测试

计算机系统的主机板是系统的核心 ,往往也是测试的重要项目。本文应用微诊断法 ,实现了对飞参主控计算机主机板的测试 ,故障覆盖率高。该测试方法对其它机载计算机系统的测试具有推广价值。     

靶场实时测控软件系统现状与发展趋势

实时测控软件系统是航天测控系统的信息处理中心，在航天任务中担负着实时信息处理、设备数字引导、指挥显示和安全控制等任务。随着计算机与通信技术的飞速发展，实时测控软件系统向信息融合、分布处理、高可靠性和逼真的多媒体显示等方向发展。本文介绍了实时测控软件在航天任务中的地位厦作用，详细阐明了实时测控软件系统的发展历程、系统组成、功能特点和未来的发展趋势。