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

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

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

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

航天软件可靠性安全性技术应用发展趋势

从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势，结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。     

基于功能节点识别和路径追踪的软件潜在分析

以航天型号实时嵌入式软件为背景，阐述了基于功能节点识别和路径追踪的软件潜在分析方式的基本原理，并结合实际工程应用，介绍了该方法的应用步骤和效果.     

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

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

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

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

应用虚拟测试技术提升航天嵌入式软件可信性

将虚拟测试环境应用于航天嵌入式软件的研制过程,可有效解决航天嵌入式软件研制过分依赖硬件环境造成的软件研制受限于硬件研制、测试不充分等问题,对于提高软件的可信性具有重要意义。本文针对航天嵌入式软件领域,比较了目前基于真实目标机的环境与虚拟环境的优缺点,并总结了国内外航天企业对虚拟测试环境技术的研究和应用情况。     

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

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

强化航天型号可靠性工作 深入推进航天型号精细化质量管理

论述了航天型号可靠性工作的发展概况,指出了当前航天型号可靠性工作中存在的突出问题,针对问题从可靠性工作理念、可靠性工作体系及职责、型号可靠性设计、分析与试验、通用产品的可靠性工作和可靠性技术基础几个方面提出了强化航天型号可靠性工作的途径,指出了强化型号可靠性工作的具体方向,为开创航天型号可靠性工作新局面,推进航天型号精细化质量管理提供了准则。     

航天型号安全性指标体系研究

安全性指标体系是安全性工作的基本要求和起点。本文通过建立航天型号安全性指标体系的总体框架,将安全性指标体系划分为定性要求、半定量要求和定量要求3种基本类型,明确了安全性指标的关键要素及其主要内容,为型号安全性设计、控制和验证等工作提供依据。     

ESA PSS-01-403标准简介

简要地介绍了ESA PSS-01-403《危险分析和安全性风险评估方法和程序》标准的主要内容即基本概念、危险分析的方法和程序及安全性风险评审方法和程序,并结合我国航天型号研制的实际情况简要地提出了建议。     

航天型号进度控制研究

针对航天型号研制生产的现状,分析了航天型号进度控制的原理,介绍了航天型号进度控制的流程和方法,深入分析了当前进度管理中存在的问题,并结合项目管理理论提出了解决这些问题的总体思路和相应的调整措施。对及时推广和应用先进型号进度控制方法,推动航天型号的持续高速发展具有重要的现实意义。     

《强化型号质量管理的若干要求》有关对标准化工作的要求

一 设计方面 贯彻总公司《航天型号可靠性管理暂行规定》和《航天产品保证大纲要求》(QJ2171),尚未进入试(正)样阶段的型号,要系统地开展可靠性、安全性设计分析工作,要落实组织和职责。进入试(正)样阶段的型号要针对研制中的问题,补充可靠性试验、分析和开展可靠性增长工作。 二 生产方面 1.根据总公司《关于清理型号工艺的通知》(质字[1997]009号)要求,认真清理在用工艺,     

航天型号管理标准研究

概述编制我国航天型号管理标准的背景与必要性,介绍国外航天管理标准的状况,分析我国航天型号管理标准的现状和存在的问题,并结合我国航天型号研制的管理实际,研究建立我国航天型号管理标准的目标、标准体系框架和编制标准化项目的有关内容。     

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

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

航天型号供应商管理分析与研究

正航天型号的开发生产是一个极其复杂的系统工程,需要用到许多方面的技术,这是航天企业内部无法单独完成的。通常的做法是整合国内相关领域的优质资源,将一种航天型号的研发任务分解为若干部分,分配给相关企业单位,规定研发进度与产品质量要求。因此,供应商所提供产品的质量将直接影响到该航天型号的可靠性与安全性,有必要建立科学的供应商管理系统,以确保我国航天事业的持续健康发展。     

航天型号产品供方管理模式初探

文章对航天型号产品供方管理存在问题进行了分析,提出了航天型号产品供方管理的目标和管理模式的设想,从确定供方选择原则、建立灵活适用的供方绩效评价指标体系、建立供方数据采集和分析模型、识别和优化供方、规范航天型号产品供方评价方法和程序等几个方面进行了浅入分析。     

航天型号项目管理的质量文化建设

概述了航天型号项目管理的情况,介绍了项目管理质量控制的阶段与内容,分析了预防思想与航天型号管理质量文化的内在联系,并对建设航天质量文化、强化项目管理提出工作思路和实施措施。     

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

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

一种面向多虚拟处理器的程序条件断点技术

考虑到载人航天、探月工程中嵌入式软件的编译器存在差异，编译器生成的目标文件格式和嵌入式处理器的不同，基于嵌入式处理器虚拟化技术，提出一种通用的调试信息存储结构，支持不同目标文件调试信息的通用存储；提出一种条件断点控制技术和一种通用条件断点控制模型，实现了面向多种架构虚拟处理器的程序条件断点控制；完成调试器DIP开发和功能测试。将以上技术应用于载人航天、探月工程中多个安全关键嵌入式软件测试，发现了嵌入式软件中的深层软件问题。