IMA平台重构中的人素和安全性研究

综合模块化航空电子(IMA)是一种建立在分布式计算环境之下的可以实现软硬件分离的架构,它可实现硬件模块应用的动态软件分配。即,IMA系统可以根据功能性和资源可用性来选择不同的配置。本文主要关注了IMA重构中涉及到的安全性及人素问题。解析了重构的过程以及人素与自动化方面的技术。事实证明,某些情况下安全有效的配置需要具备故障识别、安全要求、任务调度及资源分配限制以外的知识。并且平台的安全性设计还取决于人机系统是否实现了最佳结合。     

模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。     

无人机的安全性问题

随着无人机应用的迅速扩展,其安全性问题也日益凸显。本文分析了无人机在安全性方面与有人机的区别,在此基础上总结了与无人机安全性相关的三类要素,为提升无人机的安全性提供了参考。     

EWIS 设计中的 PRA 分析

根据 PRA 在 EWIS 安全性分析中的地位和作用,对 PRA 的原则、内容及步骤进行了分析和说明,阐述了在 EWIS 设计初期 PRA 对 EWIS 主通道布局的影响;并结合故障树中对割级、最小割级的分析,说明在初步设计中后期应用 PRA 验证故障树底事件之间相互独立性的必要性。最后结合 APU 非包容性转子爆破,对飞机尾段 EWIS 主通道布局和线路布置进行了举例说明,详细分析了 APU 非包容性转子爆破对尾段平尾 EWIS 线束敷设的影响。     

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

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

基于MBSE的通用质量特性建模分析技术研究

航空装备的可靠性、安全性、测试性分析在工程应用中存在大量重复性工作,如重复开展 FMEA 等;传统 FMEA 存在很多管理和技术问题,且 GJB/Z 1391—2006 中给出的功能及硬件 FMEA 方法自身也存在一定的技术缺陷,导致 FMEA 应用效果差,甚至很多外场真实故障应用传统 FMEA 是无法分析出来的。本文首先从 MBSE 角度着手,充分融合产品研制流程和通用质量特性的设计分析评估过程,以产品功能作为通用质量特性的输入,基于功能故障逻辑建模分析,对飞控系统功进行案例应用。结果表明：基于 MBSE 的通用质量特性建模分析技术可有效避免重复工作,并能解决“两张皮”问题。     

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

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

基于ARM的航空发动机参数记录仪的设计与实现

针对航空发动机数字电子调节器的参数监控存在采样率低、监控的参数因转换环节多导致信息失真、不能监控内部电源状态等问题,研制数字电子调节器专用参数记录仪。针对数字电子调节器的特点,提出了参数记录仪的总体设计方案以及软硬件的具体设计,试验结果表明,实时通过RS232总线记录和存储发动机参数数据是可行的,该系统具有较高的可靠性和安全性。     

飞机结构数字孪生关键建模仿真技术

飞机结构安全性设计思想经历了从静强度设计、安全寿命设计、损伤容限与耐久性设计到单机追踪的演变,未来有进一步向结构数字孪生的方向发展的趋势。飞机结构数字孪生是数字线程驱动的,多学科、多物理、多尺度、多保真度、多概率的模拟仿真系统,采用在线传感器监测、离线地面检查、飞机运行历史等多源数据,反映并预测对应飞机结构实体在全寿命周期内的行为和性能,有望革新现有的飞机结构使用和维护模式。面向疲劳寿命管理,提出飞机结构数字孪生的5项关键建模仿真技术,分别是载荷和损伤的数据获取技术、多尺度建模和力学分析技术、含裂纹复杂结构的精确高效仿真技术、基于降阶的数字孪生高效建模技术和考虑不确定性与多源异构数据的剩余寿命评估技术,并详细探讨这五项关键技术的研究现状与发展方向,为飞机结构数字孪生的系统研究与工程应用提供参考。     

机载系统微控制器审查研究

随着民用航空产业的发展,以及电子控制技术的广泛应用,越来越多的机载系统被开发应用于微控制器上.由于微控制器的高度集成化,其确定性难以准确预估,可能造成的危害也难以预测,使得适航审查形式日益严峻.本文通过对微控制器配置相关问题进行研究,针对由微控制器配置问题导致的机载系统失效问题提出限制措施,以缓解产品失效影响并提升产品...