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

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

基于LDRA TESTBED的汇编语言软件测试方法研究

在航天型号软件的开发过程中 ,充分的测试是软件质量和可靠性的必要保证。本文以软件代码分析工具─LDBATESTBED为背景 ,详细阐述了汇编程序的单元测试方法 ,并研究了测试结果的分析方法及在软件质量度量方面的应用     

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

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

面向航天领域的模型驱动软件设计开发方法

针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。     

Pro/NC在航天产品加工中的应用

对用Pro/NC软件在航天产品加工中的应用进行了研究。介绍了Pro/NC刀具轨迹的编程过程、方法、加工仿真、NC检测,以及生成G代码程序等。给出了一壳体零件的加工实例。结果表明:在产品加工中应用Pro/NC软件可提高加工和编程效率。     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

航天材料的质量控制和可靠性研究

材料的质量和可靠性直接关系到卫星、导弹等航天型号产品的成败。材料的生产工艺、检验、选材、贮存和使用等环节都存在着影响质量和可靠性的因素。本文较详细地阐述了理化检测在航天材料质量控制中的作用，提出了航天材料质量控制的关键要点，分析了影响航天材料质量和可靠性的主要因素，并探讨提高其可靠性的途径。     

反汇编技术在嵌入式软件安全性分析中的应用

分析了航天型号嵌入式软件代码安全性分析中对目标码进行反汇编的必要性,总结了两种静态反汇编技术的优缺点,提出了适用于航天型号嵌入式软件代码安全性分析的反汇编算法,并介绍了结合编译信息的反汇编算法在软件安全性分析中的应用。     

“2006年航天可靠性学术交流会”召开

为了加强航天可靠性（含维修性、安全性、保障性）技术成果和实践经验的交流和推广应用．探讨有效开展质量与可靠性技术及管理活动的方法和途径，促进提高航天产品的质量与可靠性水平．中国航天科技集团公司可靠性专家组（以下简称“专家组”）和中国宇航学会质量与可靠性专业委员会（以下简称“专委会”）于2006年10月26至28日在福建联合组织召开了“2006年航天可靠性学术交流会”。     

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

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

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

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

基于代码自动生成的计算机辅助系统设计与实现

主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。     

空间站电源系统信息管理软件重构方案

针对空间站电源系统内部多个单机与其他系统进行多总线通信,实现系统内外之间数据交换的复杂信息管理需求,同时考虑到软件的可靠性和继承性,设计采用架构重构和代码重构的空间站电源系统信息管理软件,具有多任务处理实时性高的特征,能实现传统电源下位机软件代码复用,提高代码复用率。另外,通过设计基于多级静态优先级的任务调度模块,实现多总线数据流的合理通信和多任务的有效处理。文章提出的软件重构方案在空间站电源系统信息管理软件中进行应用,实现了38.47%的软件代码复用率,实时性任务的响应率提高了44.48%,可有效满足空间站电源系统的信息管理任务需求。     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

可靠性强化试验技术在航天产品研制中的应用

随着航天技术的发展,对于装备的可靠性提出了更高的要求。目前航天产品的可靠性试验多为传统方法,对于高可靠长寿命的航天产品,用传统方法来发现潜在缺陷是极其困难的。可靠性强化试验作为一种新型的试验技术,效率高、成本低,可以从根本上提高航天产品固有可靠性,目前已在航天运载火箭领域得到应用。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响,为避免容错算法存储开销和执行开销给系统带入过多的计算压力,提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷,这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法:扩展块数字签名的控制流检测方法ESCFC(Extend block Signatures for Control Flow Checking)。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模,提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟,充分说明了将该方法运用于航天工程的可行性。     

基于GJB 5000A二级的航天系统软件配置管理解决方案

军用软件研制能力成熟度模型(GJB 5000A-2008)作为一种标准只是提出了软件过程要达到一定成熟度能力的要求,给出了软件过程改进的阶梯式进化框架,但是并没有具体地告知该如何去做、怎么去做,这成为航天军工企业软件过程改进的一个难点。为解决航天系统软件配置管理工作中存在的问题,提出一种基于GJB 5000A标准的适于航天系统软件实施配置管理的解决方案。项目实践效果表明,与没有实施软件配置管理时相比,在规范管理、团队工作效率、知识库建立、软件安全性和可靠性等方面都有很大的提高。     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

谈谈航天产品分类与代码标准制定中的几个问题

概述了航天产品分类与代码标准制定的背景和工作难度,分析了航天行业产品的分类和特点,提出了代码标准划分的思路和标准在编制中应考虑的几个问题。