运载火箭故障检测处理系统软件研究和实践

介绍载人运载火箭故障检测处理系统软件的主要情况、重要故障模式和特点,从软件研制过程、配置管理、技术状态控制、软件测试、可靠性安全性等方面总结了故障检测处理系统软件工程化的经验,为下一步任务提供参考与借鉴。     

航天型号软件产品保证总体策划

软件产品保证是产品保证的重要组成部分，是软件研制所有支持过程的综合．是世界各主要航天机构如NASA、ESA软件产品研制所推行的规范化要求，是实施软件可靠性工程的基础。航天系统要实现从“抓评测，促工程化’’向全面推进软件工程化的策略转化．要以Q／QJA30标准发布与宣贯为契机，做好型号软件产品保证的总体策划，全面推进软件工程化管理。     

一种设计实时软件的方法：面向对象技术

本文在介绍实时系统特性的基础之上，讨论了实时系统领域的发展。对用面向对象的方法设计实时软件系统中遇到的一些问题进行了详细的探讨，并对面向对象的实时语言，面向对象的实时模型进行了介绍。     

基于质量控制的过程——软件开发规范

探讨了软件开发规范及其实施效果的评定方法 ,研究了软件开发过程控制的控制点和要求、软件技术状态控制的要求和软件质量控制的方法及要求 ,分析了存在的问题 ,提出了解决的方法 ,旨在以闭环控制方式 ,使开发的软件质量严格受控。     

软件工程方法在飞行仿真系统开发中的应用

针对飞行仿真系统开发中存在的问题，通过对飞行系统模型及仿真系统的具体分析，引入软件工程方法，结合仿真软件系统的特点，在仿真系统开发模式，仿真软件设计方法，软件的质量管理方法三方面进行了研究，在面向对象模型的基础上，发展了一套完整的仿真系统开发模式，提出了仿真系统的对象建模方法，仿真系统的软件编码原则和质量管理方法。     

航天软件过程改进实践

为了改进软件过程,提高软件开发效率,保证软件产品质量,北京航天自动控制研究所在2003年6月启动了基于GJB 5000-2003《军用软件能力成熟度模型》等级2的软件过程改进工作,于2005年9月通过了军用软件能力评价组的评价。本文介绍了北京航天自动控制研究所的软件过程改进实践,阐述了软件过程改进实践中取得的成绩和教训。     

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

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

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

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

基于Petri网的CASE全集成机制的研究

为实现全集成的环境订成机制，提出了基于Ｐｅｔｉｒ网的超文本形式模型和面向对象Ｐｅｔｒｉ网，Ｐｅｔｉｒ网的引入不仅可以统一ＣＡＷＥ环境的数据集成，控制集成和表示集成，而且可利用已有Ｐｅｔｉｒ网理论对集成环境进行性能评价。