检索结果-内蒙古大学图书馆

计算机应用 2017年第6期37卷 1808-1813页

作者：王运盛雷航电子科技大学信息与软件工程学院成都611731

为了解决综合模块化航空电子(IMA)系统资源分配问题并明确分区启动时间,以VxWorks 653分区操作系统为研究实例,针对分区配置和启动过程采用统一建模语言(UML)建立了包括类图和时序图在内的模型。该模型深入地分析了分区配置和启动机制,... 详细信息

为了解决综合模块化航空电子(IMA)系统资源分配问题并明确分区启动时间,以VxWorks 653分区操作系统为研究实例,针对分区配置和启动过程采用统一建模语言(UML)建立了包括类图和时序图在内的模型。该模型深入地分析了分区配置和启动机制,说明了分区配置在资源分配以及操作系统编译和分区初始化过程中的作用,阐述了分区"冷启动"和"热启动"模式的差别,并建立了实验平台测试两种启动模式的启动时间,测试结果显示分区冷启动和热启动的时间分别为148 ms和8.5 ms,进而提出了这两种分区启动模式的应用场景以及分区配置和应用程序软件启动初始化设计的策略。例如在建立分区主时间框架和健康监控策略过程中应确定分区启动的方式并充分考虑分区启动时间,这些设计策略也适用于其他高安全性应用环境中分区系统的设计。

关键词：综合模块化航空电子分区驻留应用统一建模语言资源分配

来源：评论

学校读者我要写书评

暂无评论

综合模块化航空电子体系结构研究

引用

电光与控制 2009年第9期16卷 47-51,59页

作者：张凤鸣褚文奎樊晓光万明空军工程大学工程学院西安710038

军用航空电子系统体系结构关系到战机的可靠性、安全性、可用性、生存性、扩展性和维修性等方面。综合模块化航空电子(IMA)是目前机载航空电子系统结构发展的最高阶段,其特征和优势已经在美国四代机上得到充分展现和发挥,为我国四代机... 详细信息

军用航空电子系统体系结构关系到战机的可靠性、安全性、可用性、生存性、扩展性和维修性等方面。综合模块化航空电子(IMA)是目前机载航空电子系统结构发展的最高阶段,其特征和优势已经在美国四代机上得到充分展现和发挥,为我国四代机综合航电的研制工作提供了参考依据。回顾了机载航空电子体系结构的发展史,分析了推动IMA体系结构发展的3个主要因素,归纳了IMA的特点,从信息流处理的角度对IMA体系结构进行了划分,并研究了适应于IMA的两种典型的综合航电软件体系结构,指出了发展趋势。最后就我国综合航电体系结构的研究和发展所面临的问题进行了初步探讨。

关键词：综合模块化航空电子航空电子体系结构软件体系结构四代机

来源：评论

学校读者我要写书评

暂无评论

综合模块化航空电子分区软件可靠性研究

综合模块化航空电子分区软件可靠性研究

引用

作者：王运盛电子科技大学

学位级别：博士

在现代航空领域中,主流飞机都采用了综合模块化航电系统(Intergrated Modular Avionics,IMA)架构,IMA为不同的飞机功能和航电应用提供开放和稳定的资源共享框架,包括数据链应用在内的各种飞机和航电功能以驻留软件的方式运行在IMA通用... 详细信息

在现代航空领域中,主流飞机都采用了综合模块化航电系统(Intergrated Modular Avionics,IMA)架构,IMA为不同的飞机功能和航电应用提供开放和稳定的资源共享框架,包括数据链应用在内的各种飞机和航电功能以驻留软件的方式运行在IMA通用平台上。IMA平台采用分区技术(Partitioning)为这些驻留软件提供空间和时间的隔离机制和容错能力,防止分区(Partition)相互之间非预期的干扰。分区技术在给系统设计和实现带来灵活性的同时,也增加了软件系统的复杂度,改变了传统的系统架构和集成模式,并直接影响到飞机和系统的安全性。因此,分区软件的设计和开发必须按照适航(Airworthiness)管理局方制定的规章和标准并表明符合性,从而确保其承载的功能能够满足相应的安全性要求。本文简要阐述了航电系统演变过程、IMA组成和分区隔离机制、民机数据链功能和架构以及适航管理要求,以实现数据链应用的分区软件为研究对象,开展了安全性分析并为分区软件分配了可靠性指标,提出了分区软件的可靠性框架,分析了分区软件的失效模式并确定了应对措施和状态变迁,建立了基于随机Petri网(Strochastic Petir Nets,SPN)的分区软件可靠性模型,定量分析了分区软件的可靠性指标,这些方法也适用于其他分区软件的可靠性分析。本文的主要创新点和贡献在于:(1)提出了改进的系统安全性评价流程。针对目前安全性评价流程和数据链系统架构的不足,提出了面向新技术体制和通信协议的机载数据链系统架构,根据安全性分析和评价的结果,对数据链系统架构进行了更新,确保该系统架构设计满足相应的安全性要求,同时为承载其功能的分区软件分配了失效率指标;在现有的系统安全性评价流程基础上,针对分区软件和IMA架构,补充了分区软件失效率指标的分配过程,进而将分区软件失效模式和失效率反馈到设备和系统安全性评价过程,完善了系统安全性评价流程和方法;(2)提出了分区软件可靠性框架。在该分区软件可靠性框架中,分解和落实了系统安全性要求、机载软件适航管理要求、分区软件特殊性要求以及通用软件的可靠性属性,建立了分区软件可靠性定性和定量评价体系。其中定性目标主要包括分区软件对应功能的危害度、失效条件严重等级、功能余度、设计保证等级、失效模式、自恢复和容错能力,以及适航软件设计开发的过程目标等;定量目标主要是分区软件的可靠性模型和失效率指标等;(3)建立分区软件的随机Petri网(Strochastic Petir Nets,SPN)模型并进行定量分析。根据分区软件失效模式分析的结果,明确了分区软件Petri网模型的5个位所,即初始化、空转、正常、等待和故障,确定了通用处理模块(General Processing Module,GPM)初始化、分区软件初始化、运行切换到等待、等待切换到运行等8种变迁,论证了变迁所对应的触发延时服从或者近似于指数分布,满足应用SPN的约束条件,通过SPN模型的可达状态图推导出与其同构的连续时间马尔可夫链(Continuous Time Markov Chain,CTMC),明确了该CTMC的转移矩阵和状态方程,并结合分区软件初始状态,求解状态方程得到了分区软件处在各个不同位所的稳态概率,其中,分区软件处在故障位所的稳态概率就是分区软件的失效率,它是分区软件自身启动时间和GPM失效率的函数;(4)提出了满足适航要求的软件开发过程模型,并开展了工程实践,验证了分区软件的可靠性指标。提出了一种满足适航要求的软件设计开发过程模型和团队组织结构;从软件工程化和能力成熟度的角度分析了该过程对确保软件质量(含可靠性)的有效性;从工程实践的角度给出了软件开发满足适航认证要求的若干建议和措施;随后针对分区软件可靠性框架中的定性和定量目标,确定了相应的验证方法,并建立实验平台测试分区软件的启动时间,根据SPN模型的计算方法分析得出了分区软件的失效率指标,验证了数据链分区软件可靠性指标满足分配的可靠性要求,从而全面验证了分区软件可靠性框架中的定性和定量目标。

关键词：综合模块化航空电子分区适航随机Petri网软件可靠性

来源：评论

学校读者我要写书评

暂无评论

综合模块化航空电子平台网络故障注入策略

引用

计算机应用 2018年第9期38卷 2650-2654,2705页

作者：孙毅刚徐畅刘哲旭中国民航大学航空工程学院天津300300 中国民航大学电子信息与自动化学院天津300300

综合模块化航空电子(IMA)平台网络通信结构复杂,在进行故障注入测试时,存在难以选取合适的测试路径及等效、无效故障注入较多的问题。根据IMA平台网络通信结构特点,提出一种新的故障注入策略。首先,根据IMA平台网络对实时性和确定性的要... 详细信息

综合模块化航空电子(IMA)平台网络通信结构复杂,在进行故障注入测试时,存在难以选取合适的测试路径及等效、无效故障注入较多的问题。根据IMA平台网络通信结构特点,提出一种新的故障注入策略。首先,根据IMA平台网络对实时性和确定性的要求,提出一种基于通信链路的测试路径优化算法,生成最优测试路径,实现对IMA平台网络测试任务的有序覆盖;然后,在确定测试路径之后,采用有色Petri网(CPN)建模方法搭建测试案例自动生成模型,排除等效与无效故障,精简测路径中每个测试任务所需的测试案例。仿真结果表明,所提方法在测试次数与测试时间等方面均少于传统的故障注入策略,能够克服传统策略中的无序性及盲目性的缺点,降低测试的时间成本。

关键词：综合模块化航空电子机载通信网络故障注入测试路径测试案例

来源：评论

学校读者我要写书评

暂无评论

综合模块化航空电子的液冷设计

引用

电讯技术 2011年第6期51卷 151-155页

作者：程劲嘉中国西南电子技术研究所成都610036

介绍了液体冷却技术在综合模块化航空电子设备上的应用,重点放在液体冷却技术在工程实现上所需要的典型模型、冷板流道选择、液流通道的设计与相关计算等相关内容上。样件测试的结果表明了这一技术的工程化应用对机架设备散热带来的优点。

关键词：综合模块化航空电子散热设计冷板液体冷却

来源：评论

学校读者我要写书评

暂无评论

基于AADL的综合模块化航空电子通信调度分析与建模

引用

南京航空航天大学学报 2015年第4期47卷 497-507页

作者：孙毅刚李浩赵珍樊智勇中国民航大学航空自动化学院天津300300 中国民航大学工程训练中心天津300300

针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言... 详细信息

针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言(Architecture analysis and design language,AADL),对实例中的通信流进行建模,并进行实例化,得到端口连接一致性检测报告,验证了文中通信流模型的可行性和有效性。

关键词：综合模块化航空电子通信调度通信流架构分析与设计语言

来源：评论

学校读者我要写书评

暂无评论

综合模块化航空电子核心系统技术研究

引用

航空计算技术 2017年第3期47卷 105-111页

作者：杨军祥杨涛李成文王纯委中航工业西安航空计算技术研究所陕西西安710068

介绍了一种综合模块化航空电子核心系统。在系统应用需求及技术特征的分析基础上,提出了一种通用的开放式体系结构模型,并对系统的关键技术进行深入研究探讨,包括系统管理、网络通信、时间同步、容错策略等,最后给出系统设计方案的建议... 详细信息

介绍了一种综合模块化航空电子核心系统。在系统应用需求及技术特征的分析基础上,提出了一种通用的开放式体系结构模型,并对系统的关键技术进行深入研究探讨,包括系统管理、网络通信、时间同步、容错策略等,最后给出系统设计方案的建议。系统具有可重构性、可重用性、可扩展性和健壮性,可满足先进飞机航空电子系统的应用要求,并为未来新型分布式综合模块化航空电子系统的研究与设计提供技术支持。

关键词：综合模块化航空电子 IMA核心系统通用开放式核心体系架构

来源：评论

学校读者我要写书评

暂无评论

民机新型综合模块化航空电子结构

民机新型综合模块化航空电子结构

引用

中国电子学会微波分会'97结构与工艺联合学术年会

作者：任苏中刘小凤航空航天大学158信箱

下一代民用飞机的电子设备必然是综合模块化结构，它具有全新概念的外形尺寸、内外结构、重量要求和接口，对环境条件也提出新的要求。

关键词：综合模块化航空电子航空电子模块单元可互换模块单元(MCU) 现场可互换模块插拔装置

来源：评论

学校读者我要写书评

暂无评论

综合模块化航空电子系统软件体系结构综述

引用

航空学报 2009年第10期30卷 1912-1917页

作者：褚文奎张凤鸣樊晓光空军工程大学工程学院陕西西安710038

作为降低系统生命周期费用(LCC)、控制软件复杂性、提高软件复用程度的重要手段之一,软件体系结构已成为航空计算领域的一个主要研究方向。阐述了综合模块化航空电子(IMA)的理念,分析了推动IMA产生和发展的主要因素。总结了ARINC653,ASA... 详细信息

作为降低系统生命周期费用(LCC)、控制软件复杂性、提高软件复用程度的重要手段之一,软件体系结构已成为航空计算领域的一个主要研究方向。阐述了综合模块化航空电子(IMA)的理念,分析了推动IMA产生和发展的主要因素。总结了ARINC653,ASAAC,GOA以及F-22通用综合处理机(CIP)上的软件体系结构研究成果,并讨论了IMA软件体系结构需要解决的若干问题及其发展趋势。在此基础上,对中国综合航电软件体系结构研究提出了一些见解。

关键词：综合模块化航空电子软件体系结构开放式系统软件工程军事工程

来源：评论

学校读者我要写书评

暂无评论

综合模块化航空电子系统的可靠性设计

引用

计算机工程 2009年第23期35卷 272-273,277页

作者：郑朝辉陈新中张晓先华东计算技术研究所上海200233 中国电子科学研究院北京100041

ASAAC软件体系结构侧重于整个系统的模块化、可扩展性,其节点使用普通操作系统导致系统可靠性不够。针对该问题,将符合ARINC653标准的高可靠性分区操作系统作为ASAAC软件体系结构的节点操作系统,设计新的ASAAC通用系统管理并将其植入ARI... 详细信息

ASAAC软件体系结构侧重于整个系统的模块化、可扩展性,其节点使用普通操作系统导致系统可靠性不够。针对该问题,将符合ARINC653标准的高可靠性分区操作系统作为ASAAC软件体系结构的节点操作系统,设计新的ASAAC通用系统管理并将其植入ARINC653的核心软件层,使两者充分融合以提高综合模块化航空电子系统的可靠性。

关键词：综合模块化航空电子分区操作系统通用系统管理可靠性

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：