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

Analysis and Modeling of Communication Schedule for Integrated Modular Avionics Based on AADL

作　　者：孙毅刚[1] 李浩[1] 赵珍[1] 樊智勇[2] 

机构地区：[1]中国民航大学航空自动化学院,天津300300 [2]中国民航大学工程训练中心,天津300300

出　　处：《南京航空航天大学学报》2015年第4期497-507,共11页Journal of Nanjing University of Aeronautics & Astronautics

基　　金：国家重点基础研究发展计划("九七三"计划)(2014CB744904)资助项目

摘　　要：针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言(Architecture analysis and design language,AADL),对实例中的通信流进行建模,并进行实例化,得到端口连接一致性检测报告,验证了文中通信流模型的可行性和有效性。Aiming at the communication schedule problem of integrated modular avionics（IMA） with its final configuration, the generation, characteristics, and representation of communication schedule flows are analyzed, and an instance is given to show the implementation process of communication schedule. Based on the architecture analysis and design language （AADL）, a model for communication flows is built for the previous instance. Finally, the model is instantiated, and a check-port connection consisten- cy report is obtained for consistency verification of modeling communication flows. Simulation result il- lustrates the feasibility and validation of the communication flow model.

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

分 类 号：V556.7[航空宇航科学与技术—人机与环境工程]