摘要
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。
Aiming at the earlier verification of the system design of the Distributed Integrated Modular Avionics(DIMA)the Architecture Analysis and Design Language(AADL)and the DIMA architecture characteristics are introduced.Taking an example of architecture design as input models of the architecture of a DIMA system and of the inter-module communication are established.By using the models analysis is made to the utilization ratio of the processor and the schedulability of the partition/task and simulation is made to the inter-module communication which verifies the feasibility of the architecture design.
作者
邢亮
XING Liang(China Aeronautics Computing Technique Research Institute,Xi'an 710068,China)
出处
《电光与控制》
CSCD
北大核心
2020年第2期64-69,97,共7页
Electronics Optics & Control
基金
国家重大科技专项基金(2012ZX01041-006)
关键词
分布式综合模块化航空电子
架构分析与设计语言
可调度性
架构设计
distributed integrated modular avionics
architecture analysis and design language
schedulability
architecture design
