综合模块化航电系统失效模型分析 被引量：11

1

作者 王鹏 赵长啸 马赞 《电讯技术》 北大核心 2013年第11期1406-1411,共6页

通过分析对比联合式航电系统和综合模块化航电系统(IMA)的体系结构特征,针对系统的资源紧耦合特性建立了IMA系统功能层次化失效模型。按照失效模型分析的资源解耦需求,对IMA系统的功能和服务进行了划分,分析总结了IMA平台的5类功能模型... 通过分析对比联合式航电系统和综合模块化航电系统(IMA)的体系结构特征,针对系统的资源紧耦合特性建立了IMA系统功能层次化失效模型。按照失效模型分析的资源解耦需求,对IMA系统的功能和服务进行了划分,分析总结了IMA平台的5类功能模型以及11种系统服务模型。按照失效机理对失效模型进行了分类。采用提出的失效模型分析方法对通信功能进行了失效分析并给出了失效应对策略,表明了本方法针对IMA系统失效分析的有效性。 展开更多

关键词 综合模块化航电系统 可靠性 失效模型 体系结构

在线阅读 下载PDF 职称材料

综合模块化航电系统驻留功能适航审定要求分析 被引量：5

2

作者 赵长啸 阎芳 +1 位作者 张帆 王鹏 《电讯技术》 北大核心 2016年第8期923-927,共5页

综合模块化航电系统以功能分区的形式在资源共享平台上综合了多种航电功能,系统功能与硬件平台不再具有唯一对应性,给适航审定技术带来了困难。首先分析了综合模块化航电系统的特点和民机产品的适航方式,然后依据局方的相关技术标准文件... 综合模块化航电系统以功能分区的形式在资源共享平台上综合了多种航电功能,系统功能与硬件平台不再具有唯一对应性,给适航审定技术带来了困难。首先分析了综合模块化航电系统的特点和民机产品的适航方式,然后依据局方的相关技术标准文件,给出了综合模块化航电系统驻留功能的适航需求分析,最后总结了审定要素和评审要求分析。相关研究成果有助于解决功能-硬件分离的航电产品的取证问题,是对现有综合模块化航电系统审定体系的有效补充。 展开更多

关键词 综合模块化航电系统 驻留功能 适航审定

在线阅读 下载PDF 职称材料

综合模块化航电系统高安全性时间管理技术

3

作者 杜晓鹏 孙泓宏 王立端 《电光与控制》 北大核心 2013年第5期81-84,96,共5页

综合模块化航电(IMA)系统中错误信息的传输漏洞会对飞机安全带来严重影响,为了提高IMA系统时间传输的完整性,使子系统能在确定的时间窗口内进行数据传输,提出了一种IMA系统高安全性时间管理技术;通过使用多个时间管理服务,建立每个子系... 综合模块化航电(IMA)系统中错误信息的传输漏洞会对飞机安全带来严重影响,为了提高IMA系统时间传输的完整性,使子系统能在确定的时间窗口内进行数据传输,提出了一种IMA系统高安全性时间管理技术;通过使用多个时间管理服务,建立每个子系统与时间管理服务的偏差表,确定其本地时间参考(LTR)和与之通信的每个远程子系统时间参考之间的关系;使驻留IMA的子系统具有高安全性时间同步机制,能够协调分离的驻留子系统共同安全地执行同一任务,满足IMA系统时间同步和安全性要求。 展开更多

关键词 综合模块化航电系统 安全性 时间管理 参考时间

在线阅读 下载PDF 职称材料

ARINC653分区操作系统在综合模块化航空电子系统中的应用 被引量：16

4

作者 陈娟 《电讯技术》 北大核心 2009年第5期89-92,共4页

航空电子系统的综合模块化发展对软件系统提出了更高的要求。介绍了基于ARINC653软件规范的分区操作系统的原理、综合模块化航电系统的特点和需求,以该系统中显控子系统软件的设计为例,说明了ARINC653分区操作系统在综合模块化航电系统... 航空电子系统的综合模块化发展对软件系统提出了更高的要求。介绍了基于ARINC653软件规范的分区操作系统的原理、综合模块化航电系统的特点和需求,以该系统中显控子系统软件的设计为例,说明了ARINC653分区操作系统在综合模块化航电系统中的应用价值。 展开更多

关键词 综合模块化航电系统 ARINC653分区操作系统 显控子系统 开发步骤

在线阅读 下载PDF 职称材料

综合模块化航空电子系统的BIT防虚警设计 被引量：5

5

作者 罗海明 王丹 文佳 《电讯技术》 北大核心 2019年第9期1081-1086,共6页

针对现代综合模块化航电系统的机内测试(Built-in-Test,BIT)虚警问题,深入分析了其Ⅰ类和Ⅱ类BIT虚警的产生原因及机理。结合航电系统综合化、模块化的架构特点及其复杂性、层次性、相关性和不确定性的故障特征,从模块和系统两个层次提... 针对现代综合模块化航电系统的机内测试(Built-in-Test,BIT)虚警问题,深入分析了其Ⅰ类和Ⅱ类BIT虚警的产生原因及机理。结合航电系统综合化、模块化的架构特点及其复杂性、层次性、相关性和不确定性的故障特征,从模块和系统两个层次提出了BIT虚警的技术解决措施以及全寿命周期需采取的设计手段。重点给出了一种基于模型的系统级BIT虚警识别算法,能依据测试性建模输出的D矩阵,分析测试之间相悖或相互佐证关系,识别虚警和确认真实的故障指示。最后,结合综合航电超短波功能进行了案例验证。 展开更多

关键词 综合模块化航电系统 机内测试 虚警 多信号模型

在线阅读 下载PDF 职称材料

面向民机综合化航电系统的安全例证法研究 被引量：4

6

作者 赵长啸 阎芳 +1 位作者 邢培培 王鹏 《中国安全科学学报》 CAS CSCD 北大核心 2017年第7期82-87,共6页

为解决新一代综合模块化航电系统(IMA)的安全性评估问题,基于安全例证法,构建并论证IMA的安全例证。针对SAE ARP4761标准的不足,分析安全例证法的适用性和基本结构,从安全性需求、框架、实施3个层面分析安全例证法在民机IMA中的应用,讨... 为解决新一代综合模块化航电系统(IMA)的安全性评估问题,基于安全例证法,构建并论证IMA的安全例证。针对SAE ARP4761标准的不足,分析安全例证法的适用性和基本结构,从安全性需求、框架、实施3个层面分析安全例证法在民机IMA中的应用,讨论基于过程和产品的2种不同安全论证方式,以系统管理功能为例,利用目标结构化标记(GSN)语言,论证IMA的安全性。结果表明:安全例证法可与民机系统开发流程对应,有效地整合安全性分析过程中的安全证据资源,并在系统安全性需求与安全性证据间建立明确的关系。 展开更多

关键词 民用飞机 系统安全性评估 综合模块化航电系统(IMA) 安全例证目标结构化标记(GSN) 适航

在线阅读 下载PDF 职称材料

模型驱动的安全关键系统重配置信息验证方法 被引量：4

7

作者 胡军 马金晶 +3 位作者 刘雪 程桢 石娇洁 黄志球 《计算机科学与探索》 CSCD 北大核心 2015年第4期385-402,共18页

近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建... 近年来,在以综合模块化航电系统(integrated modular avionics,IMA)为代表的一类安全关键应用中,确保系统重配置信息的正确性成为保证系统安全可靠运行的一个重要问题。提出了一种模型驱动架构下符合ARINC653规范的IMA系统配置信息的建模转换与验证方法。针对多个实时应用在IMA平台上以时间/空间多分区形式运行的系统特征,建立了从系统配置信息的核心元素(包括模块、分区、内存、进程、通信等)到MARTE模型元素的语义映射规则,设计了基于模型驱动架构的系统配置信息模型转换的方法,并给出了一种对模型转换构造得到的系统配置信息MARTE模型进行形式化验证的框架。最后,通过一个实例分析说明了此方法对验证重配置后系统配置信息的有效性。 展开更多

关键词 系统配置信息验证 MARTE 模型驱动工程 ARINC653 综合模块化航电系统(IMA)

在线阅读 下载PDF 职称材料

基于VxWorks653分区操作系统的IMA设计与实现 被引量：14

8

作者 张明 周琳 《火力与指挥控制》 CSCD 北大核心 2014年第4期145-148,共4页

综合模块化航电系统(Integrated Modular Avionics System,IMA)在飞机航电设备的研制中逐渐得到应用。为了完整地说明IMA的设计方法,以某型飞机航电系统的升级改进为背景,提出一种基于VxWorks653分区操作系统的IMA方案,首次实现将两个... 综合模块化航电系统(Integrated Modular Avionics System,IMA)在飞机航电设备的研制中逐渐得到应用。为了完整地说明IMA的设计方法,以某型飞机航电系统的升级改进为背景,提出一种基于VxWorks653分区操作系统的IMA方案,首次实现将两个独立分系统的设备集成到一台IMA中,方案对IMA的软件架构、分区任务规划、时间空间资源分配等关键要素进行设计和实现,并建立实验平台。实验数据表明,IMA运行正确,可以实现原有系统的功能,分区之间时间和空间隔离机制工作正常,通信工作正常,具有较高稳定性和可靠性。 展开更多

关键词 综合模块化航电系统 IMA VxWorks653 分区操作系统

在线阅读 下载PDF 职称材料

一种基于AADL的IMA系统配置信息的正确性检测方法 被引量：2

9

作者 胡军 马金晶 +1 位作者 袁翔 刘雪 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第6期920-930,共11页

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC65... 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。 展开更多

关键词 软件可靠性测试 综合模块化航电系统 ARINC653配置信息 AADL REAL OSATE

在线阅读 下载PDF 职称材料

基于模型转换的IMA系统可调度性验证方法 被引量：2

10

作者 胡军 程桢 +2 位作者 马金晶 刘雪 石姣洁 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第3期403-411,共9页

综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(... 综合模块化航空电子系统(Integrated modular avionics,IMA)中分区运行时间特征满足需求是IMA系统安全可靠性运行的一个重要问题。本文针对满足ARINC653规范的IMA系统的层级调度特性,结合IMA系统调度配置信息,提出了一种在模型驱动工程(Model driven engineering,MDE)框架下,基于实时嵌入式系统建模与分析(Modeling and analysis of real-time and embedded system,MARTE)模型的ARINC653分区调度系统建模转换与可调度性验证的方法。借助MAST工具及其自定义调度策略功能,分析分区系统调度特性并利用MARTE对其进行建模,并利用该工具对MARTE模型进行仿真以验证其可调度性,最后给出了一个实例分析。 展开更多

关键词 综合模块化航电系统 可调度性验证 ARINC653 实时嵌入式系统与分析 模型驱动工程

在线阅读 下载PDF 职称材料

基于IMA的电视指令制导系统蓝图

11

作者 李骞 冯金富 +1 位作者 潘勃 张佳强 《计算机工程》 CAS CSCD 北大核心 2009年第20期225-227,共3页

以电视指令制导系统为例进行模块化航电设备融合研究和先进航电设备体系结构的建模和仿真。围绕综合模块化航电系统(IMA)给出蓝图概念,描述其在综合电视指令制导系统中的应用,为电视指令制导系统从传统的系统结构向IMA转变提供参考。

关键词 电视指令制导系统 综合模块化航电系统 蓝图

在线阅读 下载PDF 职称材料

航空电子设备故障预测特征参数提取方法研究 被引量：14

12

作者 陈华坤 章卫国 +2 位作者 史静平 何启志 占正勇 《西北工业大学学报》 EI CAS CSCD 北大核心 2017年第3期364-373,共10页

故障特征提取是航空电子设备故障预测的关键技术,对于少量测试点的电子设备可以采用小波变换、傅里叶变换、经验模态分解等方法提取故障特征,但是由于航空电子设备属于大规模集成电路,测试点比较多,采用上述方法提取的故障特征可能相互... 故障特征提取是航空电子设备故障预测的关键技术,对于少量测试点的电子设备可以采用小波变换、傅里叶变换、经验模态分解等方法提取故障特征,但是由于航空电子设备属于大规模集成电路,测试点比较多,采用上述方法提取的故障特征可能相互混叠并且数量比较大会严重影响故障预测精度及速度,因此如何从众多故障信息中提取故障特征是一个难题。文章提出基于极大似然和降噪自编码神经网络方法从大量故障信息中提取故障特征。首先,使用极大似然法分析由多个测试点提取的故障信息和历史退化过程的故障信息组成的高维数据集,估计需要提取故障特征的维数;然后使用降噪自编码神经网络方法将高维故障信息映射到指定维数的数据空间,从中提取关键的故障特征,去除冗余信息;最后,以航空电子系统电源模块为例,采用新方法提取故障特征,分别通过将故障特征可视化和使用故障特征进行健康评估来验证其有效性。 展开更多

关键词 综合模块化航电系统 故障预测和健康管理 特征提取 降噪自编码神经网络 极大似法 维数估计 DC—DC变换器 支持向量机

在线阅读 下载PDF 职称材料

ARINC653分区调度算法的研究与改进 被引量：14

13

作者 乔乃强 徐涛 谷青范 《计算机工程》 CAS CSCD 北大核心 2011年第20期249-251,263,共4页

基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此,针对ARINC653分区调度算法中存在的空闲时间问题,提出一种改进的分区调度模型,采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明,该算法能... 基于ARINC653标准的嵌入式实时操作系统对实时性的要求很高。为此,针对ARINC653分区调度算法中存在的空闲时间问题,提出一种改进的分区调度模型,采用优先级位图算法和二级调度机制设计空闲时间分区共享调度算法。理论分析表明,该算法能够缩短任务的平均响应时间。 展开更多

关键词 综合模块化航电系统 ARINC653标准 分区调度 二级调度 可调度性分析

在线阅读 下载PDF 职称材料

适用于民机IMA的通用机载软件开发平台 被引量：6

14

作者 郑澜 王运盛 《电讯技术》 北大核心 2012年第6期1027-1030,共4页

针对目前国内民用飞机在综合模块化航电系统(IMA)集成应用技术的发展,参考国外民用飞机航电系统的IMA体系结构和IMA集成应用技术,结合分区操作系统的特点,给出了在分区操作系统下开发BSP和AFDX驱动移植的方法。利用这些方法可以构建一... 针对目前国内民用飞机在综合模块化航电系统(IMA)集成应用技术的发展,参考国外民用飞机航电系统的IMA体系结构和IMA集成应用技术,结合分区操作系统的特点,给出了在分区操作系统下开发BSP和AFDX驱动移植的方法。利用这些方法可以构建一种满足民用飞机的通用机载软件开发平台,为民用飞机中IMA上的驻留功能软件开发提供基础实验环境和验证平台。 展开更多

关键词 民用飞机 综合模块化航电系统 AFDX驱动 分区操作系统 软件开发平台

在线阅读 下载PDF 职称材料

时间触发网络在分布式架构中的应用分析 被引量：1

15

作者 赵永库 黄中华 《电光与控制》 CSCD 北大核心 2022年第10期82-87,91,共7页

在分析综合化航电系统架构发展趋势的基础上,重点研究了分布式综合模块化航电(DIMA)系统架构的概念、模型、特点以及对时间触发网络的需求,提出了基于时间触发网络的分布式架构模型,研究了时间触发架构在分布式系统中的应用方法,为下一... 在分析综合化航电系统架构发展趋势的基础上,重点研究了分布式综合模块化航电(DIMA)系统架构的概念、模型、特点以及对时间触发网络的需求,提出了基于时间触发网络的分布式架构模型,研究了时间触发架构在分布式系统中的应用方法,为下一代航电系统架构选型和实现提供了解决思路。 展开更多

关键词 时间触发网络 计算和通信模型 网络通信技术 分布式综合模块化航电系统架构

在线阅读 下载PDF 职称材料