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

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

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

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

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

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

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

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

航空发动机需求追溯管理分析

追溯作为系统或项目需求确认的最基本的方法,通常是将需求追溯到上级需求,或者将需求追溯到设计要求。对航空发动机安全性需求实施有效追溯和管理,提高局方对航空发动机安全性评估的信任度,是航空发动机制造企业面临的重大挑战。对航空发动机安全性需求的管理过程开展研究,分析了以需求捕获、需求分析、需求确认、需求分配、需求验证为主的需求开发活动所涉及的追溯性活动。研究了航空发动机需求分析与定义阶段、概念设计阶段、初步设计阶段、详细设计阶段、验证与取证阶段等不同研制阶段的追溯性特点及其表现形式,并提出审查活动中对航空发动机安全性需求追溯的关注要求及关注要点,以期为我国在航空发动机安全性工作的管理、安全性要求的落实提供支撑。     

民用倾转旋翼机的应用需求与关键技术分析

倾转旋翼机适合我国民用航空任务场景，是未来民用直升机的重点发展方向，开展应用需求与关键技术分析是推进我国民用倾转旋翼机发展不可或缺的一步。基于宏观发展环境分析，本文针对应急救援、交通运输和通航作业等领域，研究了民用倾转旋翼机的应用需求。结合XV-15、V-22等典型倾转旋翼机的研制经验和溯源分析，从安全与适航出发，开展了民用倾转旋翼机关键技术元素的识别，并重点分析了飞行控制系统、传动系统、故障模式与安全性设计等关键技术。本文研究成果对我国民用倾转旋翼机的工程化研制具有重要的参考价值。     

民用飞机机载系统安全性设计与评估

随着航空电子技术的进步和飞机功能需求的增加,机载系统变得越来越复杂。由于高度综合的复杂系统不可能通过试验来验证所有的系统特性,因此,需要制定统一的标准,对其安全性设计方法和过程进行控制。以满足适航规章的要求。本文重点介绍了系统安全性评估所使用的四种分析方法。     

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

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

安全性分析在通用飞机航电系统架构设计中的应用

本文通过研究通用飞机航电系统的基本功能需求和系统特点,总结了通用飞机航电系统的基本组成。通过对相关适航规章的分析,研究了大气、航姿、通信、导航、监视等典型功能失效状态的分类要求;针对典型的II类涡轮螺旋桨式通用飞机,以满足功能失效概率要求为目标,采用故障树分析手段,研究了航电系统主要功能的备份需求,由此得出系统的基本逻辑架构。     

高床客车的安全性分析

根据汽车安全性理论，结合我国有关汽车安全性的研究现状，利用材料力学知识和制动防抱死系统的工作原理，在分析了高床客车的车身骨架结构特点的基础上，主要研究了高床客车的主动和被动安全性的影响因素，并总结了提高高床客车安全性的具体措施和发展方向。     

面向民机复杂系统需求管理过程研究

需求是商用飞机研制的基础,并贯穿于整个飞机研制的生命周期。在需求研发团队中建立一套有效的需求管理流程,使捕获、传递和更改需求的过程更规范高效。在飞机研制早期就保证需求的正确性和完整性,这样最终达到节约成本和优化进度的目的,设计出客户想要的飞机。     

图书馆用户需求层次研究

服务是图书馆永恒的主题，既是实现图书馆用户需求的直接手段，也是满足用户需求的最终结果，服务与需求两者的关系是需求决定服务，因此要做好图书馆服务，首先必须研究用户需求，为此本文着重探讨了图书馆用户的需求层次。     

直升机安全性及生存力技术

安全性是直升机研制最主要的要求之一,它对直升机应用及发展有着重要影响。该文在分析直升机事故的基础上,以大量翔实的数据为论据,重点在技术方面对直升机安全性和生存力进行了研讨。     

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

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

商用飞机研制需求管理技术研究

飞机作为高度复杂的集成系统,各项设计需求是否均进行了严密的确认过程和准确的验证过程是各项设计是否满足设计需求的最重要的判定依据,目前国内尚未在飞机研制领域引入需求管理工作。本文从飞机研制过程入手,结合目前流行的需求管理工具,提出了一种有利于主制造商-供应商管理模式的商用飞机设计需求管理方案及管理过程。     

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

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

某型导弹技术准备人因安全性分析

某型导弹技术准备过程具有涉及操作人员多,人员间以及人与设备之间交互多的特点,系统级的安全性分析结果表明,人为致因因素是导致安全问题的重要因素。因此,文章研究了一种基于行为模型的人因安全性分析方法(Extended STPA with Behaviour Model,BME-STPA)。BME-STPA方法基于行为模型思想,对 STPA控制器模型进行扩展,使其更加适用于人为致因因素分析,解决了 STPA方法对人因安全性分析针对性不强的问题,具有较强的可操作性。以导弹加注过程中溢出灌增压作为 BME-STPA的应用案例,证明了该方法的实用性和有效性。     

航空发动机研制需求管理探析

根据军用航空发动机研制特点,初步构建了航空发动机需求管理的总体框架和组织模式,并基于Teamcenter提出了需求数据追溯链管理方案,阐述了具体项目需求管理的实施路径。将其应用于真实的航空发动机研制管理中,组建了专项管理小组,明确了工作要求,并细化了其中的需求分析与定义、需求验证策划,通过专家评审对需求管理工作进行逐步改进及完善。上述方法可实现航空发动机需求管理工作由文件化向工具化、由碎片化向集成/综合化的模式转变,奠定了以需求为牵引驱动正向研发的基础,探索出一条实现航空发动机研制需求管理的途径。