NASA软件评审规程综述

概述了NASA软件评审的目的、目标以及评审的技术和管理两个层面,介绍了NASA软件里程碑评审项目和应达到的目标、软件评审方法及应注意的问题,并对NASA软件评审规程的特点作了总结。     

基本型计算机遥测系统的遥测软件规划设想

本文对基本型遥测软件的特征作了说明。从遥测系统的使用角度,以及功能和性能等方面分析了遥测软件的需求特点,为遥测软件设计提供了依据。由于遥测数据处理的重要性和复杂性,着重对遥测数据处理作了进一步分析。提出按参数性质分类的遥测参数分类方法,和遥测数据处理的层次概念。最后,在以上分析的基础上提出基本型遥测软件开发的指导思想和原则,简要描述基本型遥测软件的规范,软件组织和外部接口。     

星载软件重用技术研究

介绍了软件重用技术、意义和实现途径,讨论了星载软件重用技术的形式,分析了影响星载软件可重用性的主要因素,并根据星载实时嵌入式系统特点,提出了基于标准化硬件和通信协议的层次框架软件重用方法。研究认为基于层次框架的星载软件可重用技术能提高效率、降低成本,同时也提高星载软件可靠性和安全性。     

仿真软件YHSIM中“集中－混合”式数值积分技术

连续系统实时仿真软件ＹＨＳＩＭ中所采用的运用多种数值积分方法进行“集中一混合”式数值积分的积分程序的工作原理和实现技术,在本文中作了介绍。     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

军用软件产品质量管理探讨

软件工程管理的目标是生产出高质量的软件，主要介绍了质量评估，软件测试和技术评审几个方面的内容，并对软件进行质量保证如何进行作了探讨。     

国外航天软件故障原因分析

介绍了包括阿里安-5火箭、＂火星气候轨道器＂、＂火星极地着陆器＂在内的几个国外航天器和运载器发生的在轨故障,并从技术和管理方面分析了这些故障中与软件相关的原因。针对技术方面,分析了国外航天软件研制过程中在软件需求分析、软件复杂度、软件重用、软件安全性设计准则、质量保证及评审、系统安全性设计、测试及仿真环境缺陷等方面存在的问题;针对管理方面,分析了责任和权力划分、沟通渠道等方面存在的问题。文章最后给出了美国国家航空航天局专家针对这些问题提出的改进建议,提出了针对我国航天软件研制过程的启示和建议,如加强团队之间的沟通,提高评审效率。     

软件重构技术研究与应用

软件产品功能需求的不断变化为软件产品开发按照既定项目进度完成带来极大的困难,为有效解决该问题,提出了一种在软件产品研制过程中采用软件重构技术的方案,介绍了软件重构的定义作用及应用原则,结合软件重构在项目中的应用,进行了效果对比及分析。说明软件重构技术在提高软件质量和满足需求变化方面有明显的作用。     

NASA软件标准和体系研究

美国国家航空航天局(NASA)将软件视为核心能力和关键赋能技术,近年来集中修订和发布了一系列软件工程要求和安全保证等相关标准和手册,形成科学有效的NASA软件标准体系。本文跟踪NASA最新发布的软件标准,重点梳理标准内容之间的关联,着重分析各标准的侧重点。按照软件管理和工程推进顺序,系统介绍了NASA软件要求框架及相关内容,简单描述了NASA具体要求通用条目、主题讨论内容梗概和软件工具表目等,研究了NASA软件标准体系,借鉴NASA成熟经验,对我国航天软件提出了进一步的工作建议,以期推进我国航天软件的发展。     

软件无线电技术在卫星测控系统中的应用

分析卫星测控系统目前的现状，介绍了软件无线电技术的思想，讨论了软件无线电技术在卫星测控系统中的应用，提出对传统和新型的微波统一测控系统（MUTTCS）软件化的设计思想，给出一种初步方案设想。     

基于扩展时间Petri网的软件潜在分析

针对SSA技术存在的缺陷,根据软件系统与Petri网的相似之处,提出了基于Petri网的SSA技术.首先概述了SSA技术的发展现状,然后定义了一类扩展时间Petri网,定义了软件的设计矩阵和Petri网的可达状态矩阵,通过比较设计矩阵与可达状态矩阵找到软件潜在状态.仿真分析证实了方法的有效性和可行性,最后提出了SSA技术有待解决的问题.     

美国空间态势感知系统发展现状及趋势分析

空间态势感知(SSA)是航天电子对抗的重点内容之一,SSA项目的研发已引起极大的关注.简要介绍了美国<2020年空军条令>中有关SSA的规划,重点讨论美国在研的几种SSA系统现状,明确了其未来的SSA是响应型.最后,分析了未来的响应型SSA.     

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。     

航天型号软件工程化十年回顾与展望

从上世纪90年代初开展软件工程化工作以来,至今已有十多年的时间。本文介绍了航天系统对型号软件质量问题的认识过程,概述了国外在解决软件危机方面的经验,阐述了保障航天型号软件质量的技术措施,并对未来将采取的措施进行了初步的展望。     

软件缺陷管理技术在测控系统软件中的应用实践

软件缺陷管理是提高软件质量和软件开发效率的重要技术途径之一。基于地面测控系统中软件缺陷的基本概念,详细介绍地面测控软件缺陷管理的思想和方法,给出软件缺陷管理体系结构的分析和设计,并对软件缺陷管理在地面测控系统软件中应用实践情况进行总结和分析。指出软件缺陷管理系统应用的不足与需要解决的问题。实践中,软件缺陷管理系统对于提高团队开发效率和软件产品质量效果明显。     

SSA: Where does Europe stand now?

With the growing need for monitoring and awareness of all the objects in space (including debris) now recognized, the types of effort required towards this end are discussed, with the emphasis on European activities. A number of European documents acknowledging the problem are cited and initiatives to promote space situational awareness (SSA) are examined. While there is currently no provision in the EU budget beyond 2013 for protecting ground and space assets from space environmental threats, an encouraging degree of bilateral cooperation between member states suggests that an SSA capability is emerging in Europe.     

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

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

航天软件过程改进实践

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

从计算机系统角度分析软件可靠性

从硬／软件综合的角度对计算机进行可靠性研究具有非常重要的意义。本文作者对硬、软件相互作用进行了明确的划分和定义。并指出，是现行的软件可靠性黑箱分析方法禁锢了人们从更深层次对于硬／软件系统可靠性进行研究。基于上述认识，本文提出了解决软件分解单元之间耦合问题的办法。进而提出了一种新的软件可靠性分析方法，为对计算机系统进行可靠性分析时，考虑硬、软件之间的复杂的相关作用提供了基础，从而为更准确地评估计算机系统的可靠性提供了可能。文中分析了一个飞行控制系统实例。     

软件评审:类型及其实施要求

软件评审可以用于支持项目管理、系统工程、验证和确认、配置管理和质量保证的目标.本文定义了软件评审的5种类型(即管理评审、技术评审、审查、走查和审核),详细比较了它们之间的差异,分别阐述了每一种评审的目的、对象和实施步骤.在软件开发生存周期中,软件评审可以尽早发现并改正软件中的缺陷,减少因软件存在缺陷而造成的返工,提高软件的开发效率和软件产品的质量.