一种半实物仿真试验软件安全性评估方法

针对机载软件在多因素耦合复杂飞行情形下的安全性评估与开发安全控制,提出一种基于半实物仿真试验的软件安全性评估方法。介绍了采用飞行模拟器试验对软件安全性进行评估的思想;设计了实施该方法的操作流程;建立了试验平台中仿真系统主要的数学模型;借鉴生物学理论,分析了软件缺陷诱发飞机飞行危险的机理;最后,运用该方法对增稳系统嵌入式软件安全性进行了评估,验证了该方法运用于工程实践的可行性。利用该方法能够减少潜在的机载软件缺陷,降低复杂情形下软件诱发飞机功能危险的概率,提高机载软件安全性。     

计算机软件安全体系的建立

计算机系统的安全问题目前日益引起人们的关注。本文以软件生存周期为线索,论述了计算机软件的安全性问题,就如何从行政法律、组织管理及技术三方面相结合来建立一个软件安全体系进行了探讨。最后重点讨论了如何在软件生存周期当中系统地、有计划有步骤地采取有效的安全措施来确保其安全。     

直升机软件安全性分析技术及应用研究

GJB 900和MIL-STD-882C是武器装备安全性管理和控制大纲,就具体的装备,如直升机,如何剪裁和应用这些规范中的要求来指导直升机软件安全性分析工作,在以往型号设计中做得较少,常常受到专家的质疑。该文基于MIL-STD-882C的要求,结合国外型号设计的经验,系统地提出了直升机软件安全性的分析技术,其目的是：提高设计团队的软件安全性分析水平,并在今后的型号实践中,不断完善软件安全性分析工作;应用文中的分析方法,给出其软件设计差错/缺陷并通过相应措施,消除安全性隐患或将软件安全性危险控制在最低可接受的范围。     

一种机载软件安全性需求获取方法

通过对国内外软件安全性分析方法的研究,结合国内软件开发技术和管理方法,探索并提出了一种机载软件安全性需求获取方法。并以某环控防冰系统监测软件为例,给出了软件安全性需求获取方法的应用实例。     

在轨测试软件数据处理模型探讨

本文分析了在轨测试软件中数据处理算法的不一致性问题,提出了统一的逻辑链路模型方法,以消除各种测试链路之问的差异,达到统一化数据处理算法的目的。     

软件安全性设计的分析验证要求研究

立足软件设计阶段,对关键软件进行安全性分析验证,提出了软件安全性设计的分析验证模型,并依据模型明确安全性设计的分析验证要求,最终给出了安全性检查单。为后续的综合分析验证提供验证目标,从而提高软件和系统的整体安全性。     

测控设备软件现状及其质量控制

对在用测控设备软件现状及特点进行了分析，指出了目前测控软件开发和测试环节中在质量控制方面存在的不足，并针对测控设备软件的特点提出了具体的软件质量控制方法，实践证明这些方法行之有效。     

军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

软件可靠性增长测试的研究

研究、探讨了软件可靠性增长测试的基本概念及其实施过程中的若干问题,按照实际运行剖面选取测试用例、软件可靠性增长预计,以及正确收集故障数据的问题。     

软件回归测试过程自动化管理方法的研究与实现

在深入研究软件回归测试过程管理理论的基础上,提出了一整套用于软件回归测试过程自动化管理的方法。该方法能够辅助测试人员按照规范的回归测试过程开展相应的回归测试活动,高效地完成更动影响域自动化分析、回归测试设计、回归测试结果自动化分析及统计、回归测试文档自动化生成等一系列工作,显著提高了软件回归测试过程的自动化管理水平。     

RTCADO-178B标准与相关国军标的对照分析

RTCA的DO-178B标准是国际认可的开发准则,将DO-178B与我国的国标进行了对照分析,给出了异同。     

安全临界系统的开发

由处理器和软件控制的系统,对安全临界设计的要求不断提高,现代机电一体化系统要求安全临界设计。嵌入式处理器和其软件是设计一般系统的核心,如四余度数字飞行控制系统、航电系统等,这些系统全部有很严格的安全性和可靠要求。这些系统的故障可能导致死亡甚至于潜在的几百万人的死亡。在软件控制系统中由于故障引发的严重安全事故记录已有很多,而且在增加。把软件引入到传统的电子－机械设备中会如何影响安全？电子技术、软件和系统工程师要对此认真评估,这是最基本的,甚至极端重要的。本文可供现代电传飞机的飞行试验工程师参考。     

基于SFMEA的机载软件安全性需求提取方法研究

软件失效模式、影响分析(SFMEA)是对软件进行安全性分析的重要方法,通过对软件失效的影响分析、失效原因分析可以得到对应的改进措施,可以提高软件的安全性。通过对SFMEA进行扩展,建立包含有失效原因的经验数据的航空机载软件失效原因库,为用户分析提供辅助参考,确保失效原因以及对应的改进措施分析的充分性,并最终提取软件安全性需求保证后续的软件安全性工作。最后给出了上述方法在某发动机控制软件中的应用,过程和结果均表明该方法能够有效的提取软件安全性需求以支持软件安全性工作并最终保证软件安全性。     

航空电子设备研制的测试性设计考虑

测试性是航空电子设备基本设计特性,测试性设计的好坏直接决定了航空电子设备感知自身状态(正常、故障和降级)并自动隔离内部故障的能力。从全寿命周期费用探讨了民用飞机航空电子设备开展测试性设计的必要性,给出了民用飞机研制过程中航空电子设备通用测试性设计、机内测试设计和电路及元器件的测试性设计考虑。实践证明航空电子设备开展测试性设计能有效提高民用飞机的功能安全性和维修经济性。     

程序的结构测试方法

程序的结构测试方法是一种在了解程序结构的基础上检测程序错误的方法，描述了结构测试方法的实现过程，着重介绍了基于程序控制流和数据流的若干测试准则。     

CD4680计算机联机诊断软件设计

联机诊断软件是一般大、中、小型计算机系统必不可少的检测工具,一般由厂房专门设计提供。承担各个试飞课题最终处理任务的试飞院中心计算机系统引进时由于受当时经费限制,没有购买ＣＤ４６８０超级小型计算机联机诊断软件,因此给日常维护工作带来了极大的不便,甚至影响了试飞数据处理的顺利进行。本文较详细地叙述了自行设计的ＣＤ４６８０计算机联机诊断软件的功能和设计原理,经实际使用,表明该软件基本满足ＣＤ４６８０计算     

基于需求建模的软件安全性分析方法研究

为了提高软件安全性及可靠性,将需求建模引入针对软件需求的安全性分析过程,利用系统危险源、典型运行场景、外部输入输出接口等建模方法从系统需求分配、动态交互、接口故障处理等开展多角度分析,从而提高软件质量,并为后续软件需求分析以及安全性分析工作中提供可复用数据资产。