综合模块化航电系统失效模型分析 被引量：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 职称材料

综合模块化航电系统可重用软件组件的适航审定要求分析 被引量：5

3

作者 赵长啸 阎芳 +1 位作者 张帆 王鹏 《电光与控制》 北大核心 2016年第9期63-67,共5页

综合模块化航电系统通过在通用硬件资源平台加载不同的软件以实现不同的航电功能,对软件构件的重构提出了更高要求,已有的适航审定技术已无法对可重用软件组件的安全性做出评判。分析了可重用软件组件适航的审定要求,给出了在实际审定... 综合模块化航电系统通过在通用硬件资源平台加载不同的软件以实现不同的航电功能,对软件构件的重构提出了更高要求,已有的适航审定技术已无法对可重用软件组件的安全性做出评判。分析了可重用软件组件适航的审定要求,给出了在实际审定中的审定要素和评审要求。本文研究可为我国解决可重用软件组件的适航审定问题提供理论支撑。 展开更多

关键词 综合模块化航电 可重用软件组件 适航审定 安全性

在线阅读 下载PDF 职称材料

综合模块化航电系统适航审定要求分析 被引量：6

4

作者 赵长啸 阎芳 王鹏 《电讯技术》 北大核心 2015年第10期1134-1140,共7页

综合模块化航电系统(IMA)的深度耦合、资源共享、强健分区等特性给传统的针对联合式航电系统的审定方法带来了挑战。分析了适用于IMA系统审定的文件体系,给出了IMA系统符合性验证过程的典型活动,最后总结了针对IMA系统各审定阶段的审定... 综合模块化航电系统(IMA)的深度耦合、资源共享、强健分区等特性给传统的针对联合式航电系统的审定方法带来了挑战。分析了适用于IMA系统审定的文件体系,给出了IMA系统符合性验证过程的典型活动,最后总结了针对IMA系统各审定阶段的审定要素和评审要求。本研究可为我国解决IMA系统的审定问题提供理论基础。 展开更多

关键词 综合模块化航电 适航审定 安全性评估 体系结构

在线阅读 下载PDF 职称材料

飞机综合模块化航电系统总体设计研究 被引量：20

5

作者 易建平 韩庆 《科学技术与工程》 2010年第19期4709-4714,共6页

从飞机总体设计的角度,研究了航电系统的可靠性和易损性计算问题;建立了综合模块化航电系统模型及联合式航电系统模型;找到一个适于总体设计阶段的可靠性算法,对两模型进行了可靠性和易损性计算;通过对计算结果的对比分析,比较了综合模... 从飞机总体设计的角度,研究了航电系统的可靠性和易损性计算问题;建立了综合模块化航电系统模型及联合式航电系统模型;找到一个适于总体设计阶段的可靠性算法,对两模型进行了可靠性和易损性计算;通过对计算结果的对比分析,比较了综合模块化航电系统和联合式航电系统的特点,计算结果显示综合模块化航电系统与联合式航电系统相比,可提高航空电子系统的可靠性,减小系统的重量和体积,提高飞机生存力。 展开更多

关键词 综合模块化 航电系统 可靠性 易损性

在线阅读 下载PDF 职称材料

基于DDPG的综合化航电系统多分区任务分配优化方法 被引量：2

6

作者 赵长啸 李道俊 +1 位作者 汪鹏辉 田毅 《电讯技术》 北大核心 2024年第1期58-66,共9页

综合化航电系统(Integrated Modular Avionics,IMA)通过时空分区机制实现共享资源平台下的多航电功能集成,分区间的任务分配方法的优劣决定着航电系统的整体效能。针对航电任务集合在多分区内的分配调度问题,提出了一种基于深度强化学... 综合化航电系统(Integrated Modular Avionics,IMA)通过时空分区机制实现共享资源平台下的多航电功能集成,分区间的任务分配方法的优劣决定着航电系统的整体效能。针对航电任务集合在多分区内的分配调度问题,提出了一种基于深度强化学习的优化方法。构建了航电系统模型与任务模型,以系统资源限制与任务实时性需求为约束,以提高系统资源利用率为优化目标,将任务分配过程描述为序贯决策问题。引入马尔科夫决策模型,建立基于深度确定性策略梯度(Deep Deterministic Policy Gradient,DDPG)法的IMA任务分配模型并提出通用分配架构;引入状态归一化、行为噪声等策略训练技巧,提高DDPG算法的学习性能和训练能力。仿真结果表明,提出的优化算法迭代次数达到500次时开始收敛,分析800次之后多分区内驻留任务方案在能满足约束要求的同时,最低处理效率提升20.55%。相较于传统分配方案和AC(Actor-Critic)算法,提出的DDPG算法在收敛能力、优化性能以及稳定性上均有显著优势。 展开更多

关键词 综合模块化航空电子系统(ima) 任务分配及调度 深度强化学习 DDPG算法

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

一种综合航电仿真系统的模块化设计方法 被引量：5

8

作者 赵明波 潘龙 +2 位作者 蒋龙威 王纲 赵广兴 《系统仿真学报》 CAS CSCD 北大核心 2019年第2期339-345,共7页

针对以往飞行仿真航电系统软件设计中存在的结构分散、模块化程度不高的问题,构建一个层次化、模块化的综合航电系统。把分散于各个功能模块中的逻辑解算部分独立出来,形成综合逻辑解算模块,各个任务功能模块及其子模块专门负责相关任... 针对以往飞行仿真航电系统软件设计中存在的结构分散、模块化程度不高的问题,构建一个层次化、模块化的综合航电系统。把分散于各个功能模块中的逻辑解算部分独立出来,形成综合逻辑解算模块,各个任务功能模块及其子模块专门负责相关任务功能算法的解算,并在更深层次上进行模块化设计。通过数据流分析,该设计中的各个模块具有较强的内聚性和较弱耦合性,独立性较强。该系统整体设计结构合理,程序可理解性、可读性好,软件可靠性、可维护性强。 展开更多

关键词 飞行仿真 软件设计 综合航电 模块化 层次化

在线阅读 下载PDF 职称材料

综合模块化航空电子系统标准述评 被引量：22

9

作者 丁全心 《电光与控制》 北大核心 2013年第6期1-3,共3页

综合模块化航空电子系统(IMA)是航电系统的发展方向,其技术标准对新型军机、民机航电系统开发具有重要指导作用,阵风、F-22、F-35、A380、B787等飞机的航电系统均采用了其有关概念和技术。重点评述了ASAAC有关系统架构、系统软件、通信... 综合模块化航空电子系统(IMA)是航电系统的发展方向,其技术标准对新型军机、民机航电系统开发具有重要指导作用,阵风、F-22、F-35、A380、B787等飞机的航电系统均采用了其有关概念和技术。重点评述了ASAAC有关系统架构、系统软件、通信/网络、通用功能模块、封装等技术标准,以及ARINC等有关标准。 展开更多

关键词 综合模块化航空电子系统 ASAAC 航电系统标准

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

作者 赵长啸 阎芳 +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 职称材料

综合模块化航空电子软件分布式测试平台研究 被引量：5

13

作者 周敏刚 牟明 +1 位作者 王泉 张蕾 《电光与控制》 北大核心 2018年第2期74-78,共5页

阐述了一种基于IMA架构的航电软件分布式测试平台,该平台节点分为服务器端和客户端两类,通过互联网连接,客户端运用Java技术构建测试任务提交和结果获取,服务器端采用与目标机相互配合的方式实现客户端测试任务的调度和管理、测试程序... 阐述了一种基于IMA架构的航电软件分布式测试平台,该平台节点分为服务器端和客户端两类,通过互联网连接,客户端运用Java技术构建测试任务提交和结果获取,服务器端采用与目标机相互配合的方式实现客户端测试任务的调度和管理、测试程序的自动编译、链接、加载、执行和测试结果的存储、收集。该平台可实现有限的IMA硬件资源共享,提高资源利用率与测试效率,并可对IMA软件进行有效、充分的配置项或系统测试,为IMA航电软件的远程测试提供了有效的解决方案。 展开更多

关键词 航空电子 综合模块化 航电软件 分布式测试 测试代理 测试管理

在线阅读 下载PDF 职称材料

综合化航电系统驻留功能组合失效分析方法 被引量：4

14

作者 赵长啸 刘嘉琛 王鹏 《电讯技术》 北大核心 2020年第10期1175-1180,共6页

针对综合航电功能组合失效等级会随综合功能的数量增加而升级的问题,分析了典型机型综合航电系统的驻留方案,选取了适用于综合航电系统特征的分析策略,通过综合考虑共因问题、多备份系统驻留、系统设计特征、信息依赖关系等因素,实现功... 针对综合航电功能组合失效等级会随综合功能的数量增加而升级的问题,分析了典型机型综合航电系统的驻留方案,选取了适用于综合航电系统特征的分析策略,通过综合考虑共因问题、多备份系统驻留、系统设计特征、信息依赖关系等因素,实现功能组合失效影响的确认与分析,并以波音787飞机驻留方案为例证明了所提方法的正确性。 展开更多

关键词 综合模块化航电 驻留功能 组合失效 适航

在线阅读 下载PDF 职称材料

基于体系结构模型的综合化航电分区可调度性验证 被引量：3

15

作者 刘哲旭 樊智勇 赵珍 《计算机应用与软件》 北大核心 2019年第7期69-75,127,共8页

分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模... 分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模方法。在构建分区静态体系结构模型的基础上,通过AADL行为附件建模描述系统中任务的调度过程。再采用AADL Inspector工具对模型中的任务调度行为进行动态仿真,根据仿真结果即可对IMA分区可调度性进行评估。案例实验表明,该方法能够有效发现分区调度配置信息中的错误。此外,只需一次性建模即可直接完成可调度性验证。与现有方法相比,避免了对AADL模型进行繁琐的二次转化。 展开更多

关键词 综合模块化航电 软件分区 体系结构模型 可调度性

在线阅读 下载PDF 职称材料

未来十年综合航电系统的发展趋向 被引量：12

16

作者 汪桂华 《电讯技术》 北大核心 2002年第6期23-26,共4页

本文主要阐述未来十年国外综合航电系统的总的发展趋向 ,重点介绍了在开放式系统结构的研究与应用、采用COTS技术、模块化、多传感器综合技术等方面的发展趋向。

关键词 发展趋向 综合航电系统 开放式系统结构 COTS技术 模块化 多传感器 航空电子

在线阅读 下载PDF 职称材料

基于AADL的综合航电分区系统可调度性判定 被引量：5

17

作者 袁翔 胡军 +1 位作者 马金晶 刘雪 《计算机工程》 CAS CSCD 2014年第10期52-60,共9页

综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的... 综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。 展开更多

关键词 综合模块化航电 ARINC653 系统 分区系统 架构分析和设计语言 Cheddar工具 可调度性判定 仿真方法

在线阅读 下载PDF 职称材料

某直升机综合航电显控仿真系统的开发与实现 被引量：5

18

作者 欧爱辉 卢卫国 +1 位作者 李程鹏 张海峰 《火力与指挥控制》 CSCD 北大核心 2013年第1期141-144,共4页

根据某直升机改装大型综合航电显控系统的需求,依据其拓扑结构,进行了仿真系统的硬件和软件设计,重点论述了基于模块化的显示、控制及通讯软件设计,按照实时性要求,仿真POP操作逻辑及MIL-STD-1553和ARINC429航空总线通讯,实现了仿真直... 根据某直升机改装大型综合航电显控系统的需求,依据其拓扑结构,进行了仿真系统的硬件和软件设计,重点论述了基于模块化的显示、控制及通讯软件设计,按照实时性要求,仿真POP操作逻辑及MIL-STD-1553和ARINC429航空总线通讯,实现了仿真直升机上雷达、惯导、大气机通过综合处理计算机与综合显示器之间的交联,结果表明该仿真系统结构合理,功能及性能满足直升机改装验证的要求。 展开更多

关键词 综合航电仿真系统 实时性 模块化 1553B总线 ARINC429总线

在线阅读 下载PDF 职称材料

面向IMA通用系统管理的STPA安全性分析 被引量：5

19

作者 肖国松 刘嘉琛 +2 位作者 董磊 孙紫荆 赵长啸 《中国安全科学学报》 CAS CSCD 北大核心 2021年第9期8-14,共7页

通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险。首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建... 通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险。首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建立基于系统理论事故过程的扩展模型,并通过系统理论过程分析(STPA)对动态重构实例的不安全控制行为(UCA)进行识别,生成相关致因场景及其对应的安全性需求;最后,通过时间自动机对实例进行仿真验证。结果表明:模型的逻辑和时序的完整性及UCA的可达性,可为GSM的安全性分析提供形式化依据。 展开更多

关键词 综合模块化航电(ima) 通用系统管理(GSM) 系统理论过程分析(STPA) 动态重配置 安全性分析

在线阅读 下载PDF 职称材料

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

20

作者 张明 周琳 《火力与指挥控制》 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 职称材料