【摘 要】
：
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同
【机 构】
：
南京航空航天大学计算机科学与技术学院,南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。
其他文献
国务院总理温家宝7月22日主持召开国务院常务会议，讨论并原则通过《文化产业振兴规划》。会议强调，振兴文化产业，必须坚持把社会效益放在首位，努力实现社会效益与经济效益的统一；
机场地面服务车辆调度失误是机场航班延误的主要原因之一。通过对机场地面服务车辆调度问题进行分析,建立多目标带有时间窗非满载机场地面服务车辆数学模型。将多Agent技术以
<正>随着新一轮基础教育课程改革的不断推进,角色扮演教学方法应运而生。角色扮演法的提出受到了越来越多教师的认可,并积极将其应用到教学中。教学实践表明,其应用效果十分
旅游在我国市场经济发展中已经开始扮演相当重要的角色,旅游产业的发展也开始呈现多元化发展趋势。休闲假日旅游、登山、滑雪等旅游项目的开展为我国旅游市场的繁荣增添了色
据《文汇报》5月25消息。从事数字出版业务的经营主体在工商登记注册时，无法登记企业名称和经营范围的状况将宣告结束。上海市工商局、上海市新闻出版局日前联合发布《关于本
何云．男，硕士，北京印刷学院设计艺术学院教授、新媒体动画艺术方向研究生导师。本科毕业于东北师范大学美术系中国画专业．获学士学位：研究生毕业于清华大学美术学院信息艺术系动画
<正>Red Wing制鞋公司防滑去湿鞋系列新产品的鞋底防滑,穿着舒适,有足够的支撑力,能显著减少餐馆和食品企业工作人员的滑倒。Grip Tec2鞋底由伸缩性的纯胶制成,可防有水地面,
递纸机构设计涉及的因素比较多,要保证其设计达到规定要求,必须保证各运动工作循环图正确。通过对摆动器运动过程的分析,求出了摆动器的运动规律和凸轮曲线。在此基础上,通过
本文介绍了国内外数字油田发展的现状,并针对目前实际情况提出了数字油田在发展过程中所面临的问题。提出了从数字油田到智慧油田的发展趋势,并着重介绍了国内外智慧油田的现
<正> 美国的联邦制是建立在联邦宪法中对联邦和州两级政府之间的权力划分的基础之上的。联邦的一切权力必须以宪法第1条第8款为依据,即征税、借贷、制币、国防、宣战、州际贸