星载软件重用技术研究

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

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

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

软件抗干扰技术在航天靶场中的应用

讨论了航天靶场应用的软件延时技术、通道软件抗干扰技术、程序运行中的软件抗干扰技术、数据采集误差的软件抗干扰技术等常用的软件抗干扰技术,这些措施的综合应用可以有效提高航天靶场的抗干扰性.     

控制系统飞行控制软件重用技术研究

探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。     

基于Linux的航天地面站测控软件架构设计

从提高航天地面站测控软件的安全性、可重用性及扩展性出发,运用面向对象和面向构件的软件设计思想,分析基于Linux操作系统的航天地面站测控软件架构的可行性,详细阐述这种航天测控软件架构的设计思路、实现方法及其关键技术。实践证明,架构具有可靠性高、稳定性强、可重用和易扩展等特点。     

软件潜在分析技术及其应用

软件潜在分析技术的概念及方法在文中作了讨论．对此技术在航天软件中开展和应用前景及具体实施方法作了分析和介绍。     

NASA软件标准和体系研究

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

航天型号软件研制过程中的并行工程

分析了航天型号软件研制过程的现状和弊病,阐述了航天型号软件研制过程是并行工程的初步内容,介绍了支持并行工程的工具环境,提出了实施并行工程的初步目标。     

航天测控软件共用原型系统设计与实现

软件共用是航天测控软件的发展趋势。分析航天测控软件共用的可行性,选取火箭遥测软件作为原型验证系统,提出设计方案,并采用ICE中间件和构件技术加以实现。该原型验证系统的设计与实现对航天测控软件共用研究具有重要的借鉴和指导意义。     

软件项目估算与测量的工程实践

在开发过程中软件估算和测量非常重要,如果没有合理而准确的估算和实测数据,就不能对软件项目进行有效的管理和控制。本文阐述了在航天软件过程改进实施过程中工作产品规模、工作量和进度的估算和测量方法,分析了3个航天软件项目的测量结果,总结了项目的管理情况。并且证明基本的CO-COMO模型比较适合航天软件项目。     

航天器软件代码走查方法研究与应用

软件可靠性是现代航天器可靠性工程中的关键因素之一．而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上，总结并提出了一种针对航天软件特点的代码走查方法，该方法有助于提高走查的效率和保证走查的质量。方法由优化排序的代码检查单、结构化分析方法、专题分析技术和软件缺陷知识库构成。最后通过某星载软件的代码走查案例对方法的有效性和实用性进行了说明。     

浅谈软件研制质量与标准化工作

概述计算机技术在航天型号研制中的应用及其硬件、软件的发展情况,分析了目前航天系统工程研制中软件开发过程存在的问题,强调指出提高软件研制质量必须实施各项软件标准和规范,认真做好标准化工作。     

基于高性能通用计算机的软件基带技术

随着通用计算机和软件处理技术的发展,测控基带软件化已经成为航天测控设备一种新的实现形式。在回顾和总结软件接收机发展历程的基础上,从处理平台、总线交互接口、操作系统、并行处理技术等方面分析软件基带的技术途径,从实时性、时间同步性、可靠性、成本等方面分析软件基带面临的挑战,并展望软件基带的发展前景。     

软件定义航天器系统架构设计

软件定义技术的高速发展有望引发航天产业新一轮的技术革新。文章分析了未来航天器发展的总体趋势和软件定义航天器的发展现状;针对未来航天器灵活、自主和快速的发展需求,提出了一种软件定义航天器系统架构,其具有设计分层化、接口规范化、硬件通用化、功能软件化和资源虚拟化等技术特征。相比以往的航天器系统架构,它将软件定义扩展至整个航天器,并充分考虑了航天器的固有特征。文章分析了该架构对未来航天器发展需求的满足情况,梳理了开放架构与规范、器载操作系统、器载超算平台和安全机制4项关键技术,并提出进一步细化系统架构、形成标准规范的发展建议。     

软件需求中的可靠性策略

软件可靠性要求的实现应是从系统分析和需求阶段就开始进行考虑，通过软件的需求、设计、编码、测试、维护以及相应的组织和管理来保证。文中通过对时钟结构化的分析，试图就航天嵌入式软件谈了在需求分析阶段中软件可靠性策略与体会，同时论述了在航天工程中软件接口分析的合理性与增强软件可靠性的意义。     

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

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

专用铰刀CAD软件的开发

提出的铰刀CAD软件采用图形模块组合技术,可设计用于加工航天产品的通孔、盲孔或前锥后柱孔的专用铰刀,且覆盖率较高;该软件通过原始参数输入和若干个人机对话即可进行结构设计计算和绘图自动化。     

航天型号可靠性信息系统软件的设计与实现

针对航天型号可靠性信息管理和评估工作的现状，从可靠性信息的分类、系统架构方面介绍了适用于航天型号的可靠性信息系统软件的设计思路和实现情况。     

航天测控软件动态质量评估模型研究

以ISO/IEC 25010:2011模型为支撑,对航天测控软件各研制阶段分别建立了质量评估指标,采用层次分析法计算质量特性指标权重。针对航天测控软件的功能及产品特点,建立了基于反馈机制的航天测控软件质量综合评估模型。应用结果表明,该模型具有较强的适用性,可以较为全面地评估航天测控软件质量,模型的应用有效促进了软件产品最终质量的提高。     

一种航天用Linux系统工程化方法

随着航天器功能的越发复杂和软件规模的提高，航天领域常用操作系统存在驱动、第三方库资源不够丰富等问题。Linux系统具有稳定、开源、支持丰富等特点，被广泛应用于高可靠领域，因此有望满足航天领域复杂应用下操作系统的需求。但Linux系统代码量庞大，在航天领域软件工程化和可靠性保证工作方面开展困难。结合航天工程应用实际，提出并实践了按商用和自研，分别对Linux系统软件进行质量保证的工程化方法，为航天用操作系统相关产品的研制提供工程化思路。