期刊文献+
共找到64篇文章
< 1 2 4 >
每页显示 20 50 100
综合模块化航空电子系统软件体系结构综述 被引量:58
1
作者 褚文奎 张凤鸣 樊晓光 《航空学报》 EI CAS CSCD 北大核心 2009年第10期1912-1917,共6页
作为降低系统生命周期费用(LCC)、控制软件复杂性、提高软件复用程度的重要手段之一,软件体系结构已成为航空计算领域的一个主要研究方向。阐述了综合模块化航空电子(IMA)的理念,分析了推动IMA产生和发展的主要因素。总结了ARINC653,ASA... 作为降低系统生命周期费用(LCC)、控制软件复杂性、提高软件复用程度的重要手段之一,软件体系结构已成为航空计算领域的一个主要研究方向。阐述了综合模块化航空电子(IMA)的理念,分析了推动IMA产生和发展的主要因素。总结了ARINC653,ASAAC,GOA以及F-22通用综合处理机(CIP)上的软件体系结构研究成果,并讨论了IMA软件体系结构需要解决的若干问题及其发展趋势。在此基础上,对中国综合航电软件体系结构研究提出了一些见解。 展开更多
关键词 综合模块化航空电子 软件体系结构 开放式系统 软件工程 军事工程
原文传递
综合模块化航空电子体系结构研究 被引量:58
2
作者 张凤鸣 褚文奎 +1 位作者 樊晓光 万明 《电光与控制》 北大核心 2009年第9期47-51,59,共6页
军用航空电子系统体系结构关系到战机的可靠性、安全性、可用性、生存性、扩展性和维修性等方面。综合模块化航空电子(IMA)是目前机载航空电子系统结构发展的最高阶段,其特征和优势已经在美国四代机上得到充分展现和发挥,为我国四代机... 军用航空电子系统体系结构关系到战机的可靠性、安全性、可用性、生存性、扩展性和维修性等方面。综合模块化航空电子(IMA)是目前机载航空电子系统结构发展的最高阶段,其特征和优势已经在美国四代机上得到充分展现和发挥,为我国四代机综合航电的研制工作提供了参考依据。回顾了机载航空电子体系结构的发展史,分析了推动IMA体系结构发展的3个主要因素,归纳了IMA的特点,从信息流处理的角度对IMA体系结构进行了划分,并研究了适应于IMA的两种典型的综合航电软件体系结构,指出了发展趋势。最后就我国综合航电体系结构的研究和发展所面临的问题进行了初步探讨。 展开更多
关键词 综合模块化航空电子 航空电子体系结构 软件体系结构 四代机
下载PDF
我国大型飞机航空电子系统的发展与思考 被引量:25
3
作者 杨云志 罗通俊 黄进武 《电讯技术》 2007年第4期1-5,共5页
在分析发展我国大型飞机航空电子系统的必要性和可行性,以及航空电子系统技术发展趋势的基础上,提出了未来发展我国大型飞机综合模块化航空电子系统的架构设想,并对我国发展大型飞机航空电子系统提出了几点建议。
关键词 大型飞机 航空电子系统 综合模块化 发展建议
下载PDF
软件安全性研究综述 被引量:22
4
作者 樊晓光 褚文奎 张凤鸣 《计算机科学》 CSCD 北大核心 2011年第5期8-13,27,共7页
软件是安全性关键的软件密集型系统(比如综合航电系统)的一个重要安全因子,软件安全性已逐渐成为软件工程和安全工程交叉领域的研究热点之一。对软件安全性的内涵与外延进行了剖析,给出了软件安全性定义。讨论了软件安全性的度量模型。... 软件是安全性关键的软件密集型系统(比如综合航电系统)的一个重要安全因子,软件安全性已逐渐成为软件工程和安全工程交叉领域的研究热点之一。对软件安全性的内涵与外延进行了剖析,给出了软件安全性定义。讨论了软件安全性的度量模型。着重从软件工程的视角对软件安全性的开发过程、设计方案、评估方法与认证技术等现状进行了综述,并探讨了软件安全性的研究方向。 展开更多
关键词 安全因子 软件安全性 软件工程 安全工程 系统工程 安全性关键系统 综合航电
下载PDF
综合模块化航空电子核心系统技术研究 被引量:20
5
作者 杨军祥 杨涛 +1 位作者 李成文 王纯委 《航空计算技术》 2017年第3期105-111,共7页
介绍了一种综合模块化航空电子核心系统。在系统应用需求及技术特征的分析基础上,提出了一种通用的开放式体系结构模型,并对系统的关键技术进行深入研究探讨,包括系统管理、网络通信、时间同步、容错策略等,最后给出系统设计方案的建议... 介绍了一种综合模块化航空电子核心系统。在系统应用需求及技术特征的分析基础上,提出了一种通用的开放式体系结构模型,并对系统的关键技术进行深入研究探讨,包括系统管理、网络通信、时间同步、容错策略等,最后给出系统设计方案的建议。系统具有可重构性、可重用性、可扩展性和健壮性,可满足先进飞机航空电子系统的应用要求,并为未来新型分布式综合模块化航空电子系统的研究与设计提供技术支持。 展开更多
关键词 综合模块化航空电子 ima核心系统 通用开放式核心体系架构
下载PDF
综合模块化航空电子系统结构的最新发展及挑战 被引量:19
6
作者 郭莎莎 胡旻 《航空电子技术》 2013年第2期15-20,共6页
随着综合模块化航空电子结构(IMA)的广泛应用,对IMA的开发和概念解读也随之变得重要。目前,在实现了第一代IMA平台的基础上,第二代IMA平台的架构已提上日程。本文分析了开发下一代IMA平台可能面对的挑战,一是重新配置的能力,二是以多核... 随着综合模块化航空电子结构(IMA)的广泛应用,对IMA的开发和概念解读也随之变得重要。目前,在实现了第一代IMA平台的基础上,第二代IMA平台的架构已提上日程。本文分析了开发下一代IMA平台可能面对的挑战,一是重新配置的能力,二是以多核处理器为代表的COTS处理设备的综合。本文将从重构、多核平台的建构、以及模块化测试等方面对第二代IMA做一个多维、立体的分析。 展开更多
关键词 综合模块化航空电子 重构 多核处理 模块化测试
下载PDF
综合模块化航空电子系统的可靠性设计 被引量:16
7
作者 郑朝辉 陈新中 张晓先 《计算机工程》 CAS CSCD 北大核心 2009年第23期272-273,277,共3页
ASAAC软件体系结构侧重于整个系统的模块化、可扩展性,其节点使用普通操作系统导致系统可靠性不够。针对该问题,将符合ARINC653标准的高可靠性分区操作系统作为ASAAC软件体系结构的节点操作系统,设计新的ASAAC通用系统管理并将其植入ARI... ASAAC软件体系结构侧重于整个系统的模块化、可扩展性,其节点使用普通操作系统导致系统可靠性不够。针对该问题,将符合ARINC653标准的高可靠性分区操作系统作为ASAAC软件体系结构的节点操作系统,设计新的ASAAC通用系统管理并将其植入ARINC653的核心软件层,使两者充分融合以提高综合模块化航空电子系统的可靠性。 展开更多
关键词 综合模块化航空电子 分区操作系统 通用系统管理 可靠性
下载PDF
下一代综合模块化航空电子系统关键技术研究 被引量:16
8
作者 马莹莹 刘青春 +1 位作者 胡飞 姚建国 《航空电子技术》 2019年第4期1-9,共9页
随着高新技术的不断发展,航空电子机载系统能支持越来越复杂的功能,当前的综合模块化航空电子(IMA)系统架构采用模块化的设计以及开放式的架构,在提高航空电子系统可靠性的同时大大降低了功耗及成本。但随着飞行任务的日益复杂以及机载... 随着高新技术的不断发展,航空电子机载系统能支持越来越复杂的功能,当前的综合模块化航空电子(IMA)系统架构采用模块化的设计以及开放式的架构,在提高航空电子系统可靠性的同时大大降低了功耗及成本。但随着飞行任务的日益复杂以及机载系统功能的不断增加,当前的IM A系统在面对复杂的应用需求时出现了无法突破的技术瓶颈。基于当前IM A系统的技术瓶颈,详细描述了下一代IM A系统的架构设计细节,总结了实施下一代IM A系统将面临的技术挑战,从高速网络,高性能多核处理器以及多核虚拟化等方面分析了有望发挥重要作用的关键技术,并提供了关键技术可行的研究思路,为下一代IMA系统的相关研究提供参考。 展开更多
关键词 综合模块化航空电子(IM A) 高速机载网络 多核处理器 多核虚拟化
下载PDF
基于分布式IMA平台的系统健康管理的设计与实现 被引量:13
9
作者 王震 朱剑锋 洪沛 《航空电子技术》 2016年第2期11-15,共5页
随着分布式综合模块化航电(分布式IMA)系统的深入应用,需要针对分布式IMA平台的健康监控、故障管理、系统容错重构、系统运行日志等健康管理能力进行进一步研究。本文深入研究了Vx Works653操作系统中的健康监控机制和ASAAC标准中的系... 随着分布式综合模块化航电(分布式IMA)系统的深入应用,需要针对分布式IMA平台的健康监控、故障管理、系统容错重构、系统运行日志等健康管理能力进行进一步研究。本文深入研究了Vx Works653操作系统中的健康监控机制和ASAAC标准中的系统管理技术,以此为基础设计并实现了分布式IMA平台级和系统级的健康管理方案。在本文的方案中,对Vx Works653操作系统的健康监控机制进行改进,使其能够满足自定义的故障处理需求,将ASAAC标准中的系统管理技术和IMA系统内故障信息的收集相结合,实现了对IMA系统内各进程、各分区、各模块乃至整个IMA系统进行健康管理。 展开更多
关键词 综合模块化航空电子系统(ima) 健康管理 健康监控 系统管理
下载PDF
综合模块化航空电子系统可靠性评估方法研究 被引量:13
10
作者 王鹏 刘锐 +1 位作者 刘万和 阎芳 《电光与控制》 北大核心 2015年第10期56-61,共6页
综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AAD... 综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AADL可靠性模型,为了进一步分析其故障动态行为,研究了AADL可靠性模型向GSPN模型转化规则,通过对GSPN模型的分析来评估IMA系统可靠性。最后以IMA系统显示功能为例进行了可靠性评估,验证了该方法的有效性,并且通过实验对比的方式给出了显示功能架构的选择建议。 展开更多
关键词 综合模块化航空电子 体系结构分析及设计语言 广义随机PETRI网 可靠性
下载PDF
一种机载高安全高可靠数据存储模块的设计 被引量:13
11
作者 郝玉锴 吴姣 +1 位作者 李向东 徐宁 《电光与控制》 CSCD 北大核心 2019年第1期109-113,共5页
针对综合化、模块化航空电子系统架构中现场可更换模块的设计特点,讨论了一种机载高安全、高可靠的大容量Nand-Flash数据存储模块在符合ARINC653标准的分区操作系统中的设计方法,具有Flash驱动层、Flash管理层、文件系统层架构。通过采... 针对综合化、模块化航空电子系统架构中现场可更换模块的设计特点,讨论了一种机载高安全、高可靠的大容量Nand-Flash数据存储模块在符合ARINC653标准的分区操作系统中的设计方法,具有Flash驱动层、Flash管理层、文件系统层架构。通过采用应急关键数据销毁的方式保障系统的高安全性,通过采用坏块管理、损耗均衡以及可信恢复性文件系统的方式保障系统的高可靠性。对数据存储模块进行了不同层级、不同文件大小的读写测试,应急毁钥测试和可靠性测试,测试结果表明模块满足设计要求,可以应用于需要高可靠性和高安全性的航空电子领域。 展开更多
关键词 综合模块化航空电子 现场可更换模块 坏块管理 应急毁钥 分区操作系统
下载PDF
Hierarchical resource allocation for integrated modular avionics systems 被引量:8
12
作者 Tianran Zhou Huagang Xiong Zhen Zhang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2011年第5期780-787,共8页
Recently the integrated modular avionics (IMA) architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical app... Recently the integrated modular avionics (IMA) architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing (GSA) is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems. 展开更多
关键词 avionics system engineering integrated modular avionics ima resource allocation hierarchical scheduling genetic algorithm (GA) simulated annealing algorithm.
下载PDF
航空电子系统混合实时任务的双层调度 被引量:10
13
作者 周天然 熊华钢 《航空学报》 EI CAS CSCD 北大核心 2011年第6期1067-1074,共8页
针对航空电子系统的实时性需求,提出满足综合模块化航空电子(IMA)构架的双层任务调度算法。通过加权轮转调度激活分区,并为分区提供固定的时间窗口,增强了系统的可预测性;分区内部采用可抢占的固定优先级调度,减少了高优先级任务的响应... 针对航空电子系统的实时性需求,提出满足综合模块化航空电子(IMA)构架的双层任务调度算法。通过加权轮转调度激活分区,并为分区提供固定的时间窗口,增强了系统的可预测性;分区内部采用可抢占的固定优先级调度,减少了高优先级任务的响应时间。算法支持混合任务集的调度:对周期的强实时任务,建立具有任意时限的任务模型,增强了模型的通用性,并通过计算任务的响应时间上界,推导出双层调度下的任务可调度条件;对非周期的弱实时任务,引入期望可调度的概念,保证了统计条件下的任务可调度性。通过仿真,分析了分区参数对任务调度实时性的影响。该算法考虑了混和实时任务调度情况,具有较强的通用性。 展开更多
关键词 航空系统工程 综合模块化航空电子 分层调度 可调度性分析 实时系统
原文传递
从复杂系统观点看国外IMA发展的经验及教训 被引量:7
14
作者 陈颖 王春蓉 《电讯技术》 北大核心 2010年第2期106-110,共5页
模块级高度综合集成结构是航空电子系统的发展趋势,复杂性、开放性、可扩展性是模块级高度综合集成航空电子系统的基本特点。研究了复杂系统的描述方法,并从复杂系统基本观点及系统复杂性度量因素出发,结合国外模块级高度综合集成航空... 模块级高度综合集成结构是航空电子系统的发展趋势,复杂性、开放性、可扩展性是模块级高度综合集成航空电子系统的基本特点。研究了复杂系统的描述方法,并从复杂系统基本观点及系统复杂性度量因素出发,结合国外模块级高度综合集成航空电子系统发展历程,总结了模块级高度综合集成航空电子系统发展的经验及教训,指出了这类系统设计应考虑的重要方向及关键因素。 展开更多
关键词 复杂系统 模块级综合集成航空电子系统 软件通信体系结构 发展经验
下载PDF
IMA重构的功能危害分析方法研究 被引量:7
15
作者 陈龙 王立松 《计算机工程》 CAS CSCD 北大核心 2016年第6期151-155,160,共6页
传统综合模块化航电(IMA)重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时需要生成所有可达图,容易导致可达图的状态空间过大。为此,... 传统综合模块化航电(IMA)重构危害分析方法是一种静态的系统结构危害分析方法,无法对IMA重构动态的失效情形进行危害分析,经典Petri网的分析方法在进行系统动态运行危害分析时需要生成所有可达图,容易导致可达图的状态空间过大。为此,提出一种新的IMA重构危害分析方法。该方法基于IMA重构控制进程的AADL模型,将重构控制流模型转化为Petri网模型,利用Petri网的向回关键态算法,并基于Petri网的可达性分析方法对IMA重构功能的危害进行分析。分析结果表明,该方法不仅解决了IMA重构动态运行时的危害问题,而且克服了传统Petri网可达性分析带来的状态爆炸,能识别出引起高风险状态的关键控制要素。 展开更多
关键词 综合模块化航电 重构 PETRI网模型 危害分析 关键态算法
下载PDF
民用飞机综合模块化航电系统分区和资源分配的研究 被引量:6
16
作者 周烨斐 刘艳涛 《民用飞机设计与研究》 2014年第3期88-91,共4页
对比航电传统系统架构,分析了综合模块化航电系统(Integrated Modular Avionics,简称IMA)架构的优点;针对IMA系统功能的高集成度带来的资源分配难度和安全性要求,提出了IMA系统分区和资源分配策略,并给出了具体方法,对民用飞机IMA系统... 对比航电传统系统架构,分析了综合模块化航电系统(Integrated Modular Avionics,简称IMA)架构的优点;针对IMA系统功能的高集成度带来的资源分配难度和安全性要求,提出了IMA系统分区和资源分配策略,并给出了具体方法,对民用飞机IMA系统设计具有一定的指导意义和实用价值。 展开更多
关键词 ima 分区 资源分配
下载PDF
基于元模型的复杂航电系统建模 被引量:6
17
作者 林山 李越雷 陈颖 《电讯技术》 北大核心 2011年第7期14-19,共6页
针对当前综合模块化航空电子系统(IMA)开发中存在的问题,提出了一种基于元模型的航电系统建模方法。该方法充分利用了基于特征的元建模理论,通过合理划分和描述构成整体的各部分及其相互关系,构建航电系统领域的元模型。通过建模工具将... 针对当前综合模块化航空电子系统(IMA)开发中存在的问题,提出了一种基于元模型的航电系统建模方法。该方法充分利用了基于特征的元建模理论,通过合理划分和描述构成整体的各部分及其相互关系,构建航电系统领域的元模型。通过建模工具将元模型解释成面向领域的建模语言,在此基础上可构建具体的航电系统模型。以航电系统为实施对象进行了验证,结果表明该方法可显著提高航电系统的开发效率。 展开更多
关键词 综合模块化航空电子 元模型 元建模 可扩展标记语言
下载PDF
基于DDPG的综合化航电系统多分区任务分配优化方法 被引量:1
18
作者 赵长啸 李道俊 +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
综合模块化航空电子分区配置启动机制 被引量:5
19
作者 王运盛 雷航 《计算机应用》 CSCD 北大核心 2017年第6期1808-1813,共6页
为了解决综合模块化航空电子(IMA)系统资源分配问题并明确分区启动时间,以VxWorks 653分区操作系统为研究实例,针对分区配置和启动过程采用统一建模语言(UML)建立了包括类图和时序图在内的模型。该模型深入地分析了分区配置和启动机制,... 为了解决综合模块化航空电子(IMA)系统资源分配问题并明确分区启动时间,以VxWorks 653分区操作系统为研究实例,针对分区配置和启动过程采用统一建模语言(UML)建立了包括类图和时序图在内的模型。该模型深入地分析了分区配置和启动机制,说明了分区配置在资源分配以及操作系统编译和分区初始化过程中的作用,阐述了分区"冷启动"和"热启动"模式的差别,并建立了实验平台测试两种启动模式的启动时间,测试结果显示分区冷启动和热启动的时间分别为148 ms和8.5 ms,进而提出了这两种分区启动模式的应用场景以及分区配置和应用程序软件启动初始化设计的策略。例如在建立分区主时间框架和健康监控策略过程中应确定分区启动的方式并充分考虑分区启动时间,这些设计策略也适用于其他高安全性应用环境中分区系统的设计。 展开更多
关键词 综合模块化航空电子 分区 驻留应用 统一建模语言 资源分配
下载PDF
基于AADL的综合航电分区系统可调度性判定 被引量:5
20
作者 袁翔 胡军 +1 位作者 马金晶 刘雪 《计算机工程》 CAS CSCD 2014年第10期52-60,共9页
综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的... 综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。 展开更多
关键词 综合模块化航电 ARINC653 系统 分区系统 架构分析和设计语言 Cheddar工具 可调度性判定 仿真方法
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部