基于AADL的分布式综合模块化航电系统架构建模与分析

作者：邢亮

来源：电光与控制, 2020, 27(02): 64-97.

• 分布式综合模块化航空电子
• 架构分析与设计语言
• 可调度性
• 架构设计

针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。