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

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

SCADE模型驱动开发过程研究及高安全性分析

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。     

基于安全性的航空发动机控制软件测试技术

针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。     

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

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

基于NuSMV的系统安全性分析平台开发和应用

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以＋5V电源监控系统为例,对其安全性进行了分析。     

基于模型的航空发动机系统安全性研究

在分析概括传统系统安全性分析的基础上,提出了一种基于模型的航空发动机系统安全性评估流程和分析方法,其从航空发动机系统自身特点出发,统一安全性分析和发动机性能设计模型,实现安全性设计和性能设计之间的平衡交互,以保证安全性分析结果的一致性、完整性和客观性.经概括,该流程方法所需突破 的3个关键技术有:①失效模式的描述方法;②关键影响因素的分级和定位方法;③安全性分析验证方法.      

GJB/Z 99-97<系统安全工程手册>简介

GJB／Z　99-97《 系统安全工程手册》是GJB　900-90《系统安全性通用大纲》的支持标准。在对G JB　900实施过程中遇到的问题进行分析和总结的基础上,本手册澄清了部分概念。 由于我国系统安全工作刚刚起步,本手册较参照的美国军用手册MIL-HDBK-764增加了安全性设计管理、验证、软件安全管理及设计分析等方面的内容。     

通用飞机安全性适航符合验证工作体系研究

研究CCAR23.1309条款要求,确定通用飞机安全性适航验证项目.在安全性分析和验证方法的基础上,结合适航取证要求和特点,提出FHA要求确立—局方审查认可—SSA要求验证—局方审批认证的安全性工作认证程序,并在此基础上规划了安全性适航验证工作的体系结构.基于飞机研制和适航取证各阶段工作,结合整机及各系统安全性设计的实...     

民用飞机适航符合性验证方法与程序研究

研究了功能危险分析、故障树分析、故障模式影响分析以及共因故障分析等安全性分析方法在民用飞机适航符合性验证中的应用,明确了各种方法的应用时机与输入输出信息.分析了民用飞机设计各阶段适航安全性工作内容,以各项安全性分析技术为基础,建立了民用飞机适航符合性验证流程,初步构建了民用飞机适航符合性验证的理论体系.     

基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。     

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

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

分层架构下基于模型的软件—体化开发

日益复杂的软件功能,高安全性系统的苛刻要求以及不断压缩的研制周期等因素推动了软件开发方法的创新。本文以机载软件为对象,介绍了基于模型和分层架构的一体化软件开发与验证方法。     

基于AADL的航空电子系统安全性分析

AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统。安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题。详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法。     

基于模型的飞行管理系统安全性分析

提出一种基于模型的飞行管理系统安全性分析实施方法，首先对飞行管理系统进行了功能危害性分析， 识别了各项功能的失效状态及其影响，确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica 对飞行管理系统模型进行了描述，借助商用软件对飞行管理系统进行了AltaRica 建模和故障树分析。分析过程 表明，基于模型的安全性分析，清晰直观，适合工程应用，是一种简单高效的安全性分析方法。     

基于成本的民用飞机可靠性与安全性一体化设计

民用飞机的直接使用费用与飞机的设计方案及设计参数直接相关,是民用飞机经济性设计中考虑的主要因素。可靠性和安全性是民用飞机产品的固有属性,是保障飞机使用安全的前提条件,其参数化设计被视为制约飞机效费比的重要因素。为提高民用飞机经济性在民航市场中的竞争力,在初始设计阶段,以系统工程的观点,综合考虑可靠性、安全性和成本之间的联系,提出基于成本的可靠性与安全性一体化设计思想,建立以可靠性、安全性最优为目标,飞机成本、飞机各性能参数为约束的优化模型;提出基于成本的民用飞机可靠性与安全性一体化设计与验证流程,并通过案例进行验证。本文所提设计策略可为我国新一代大型民用客机研制提供技术支撑。     

基于故障注入模型的电传飞控系统安全性分析

安全性分析既是飞机研制中提高安全性的主要手段，也是审定中验证设计方案是否满足适航要求的重要符合性方法。传统的安全性分析方法滞后于系统的设计过程，且高度依赖于分析人员的技术和经验，无法满足现代飞机复杂系统研制的需求。针对电传飞控系统提出了一种基于模型的安全性分析方法。使用Simulink分别构建了典型电传飞控系统的名义模型和拓展模型，利用单故障注入后的系统响应提出了故障影响的分析方法，以支持故障模式及影响分析的开展，基于状态遍历实现了组合故障注入，并利用组合故障注入后的系统响应提出故障树最小割集的分析方法，最后结合工程案例说明了本文方法的正确性与有效性。与经典的马尔可夫分析方法相比，该方法避免了对设计人员经验的依赖并且具有更高的精度；当系统方案修改时，该方法能直接更新安全性分析结果，避免了重新建模分析的繁琐工作。     

民用飞机共因失效分析方法研究

对共因失效分析的定性分析方法与定量分析模型进行了深入研究,为特殊风险分析、共模失效分析、区域安全性分析等民机共因失效定性分析方法制定了分析程序,给出了Beta因子模型、基本参数模型、多希腊字母模型、二项失效率模型、马尔可夫模型等共因失效定量分析模型,为民用飞机适航符合性验证与型号合格审定提供技术支持.     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。     

民用飞机照明系统安全性分析

民用飞机照明系统是飞机系统中一个重要的分支系统,不仅对飞机的安全、飞机性能的充分发挥、机组人员的工作效能起着重要的作用,而且对于旅客来说是评价飞机先进性和舒适性的一个不容忽视的重要组成部分。 民用飞机照明系统通常由驾驶舱照明、客舱照明、货舱与服务区照明、外部照明及应急照明五个功能独立的部分组成。 在照明系统研制过程中,为验证系统对 CCAR25. 1309 条款的符合性,通常遵循 SAE ARP 4761 提出的安全性评估工作方法。 基于安全性评估工作方法, 以照明系统为对象,在设计阶段,通过初步安全性分析确定了系统安全性设计目标、提出了系统架构,在验证阶段,通过运用多种工具对提出的安全性目标进行验证。 此外,探讨了整个系统研制过程中的安全性分析工作的具体方法,为民用飞机安全性分析提供借鉴。     

ETOPS系统安全性评估方法及应用研究

基于典型的ETOPS飞行过程,分析了ETOPS的故障组合状态．从时间函数的角度建模,修正了一般系统安全性评估方法的模型和参数,在国内首次提出了适用于ETOPS条件下的修正系统安全性评估模型,并进行了应用分析。模型可以用于在ETOPS特殊条件下对适航条款的符合性验证。