Page 102 - 《软件学报》2021年第6期

1676 Journal of Software 软件学报 Vol.32, No.6, June 2021

Fig.6 Architecture of schedulbility analyzation software toolkit
图 6 可调度性分析工具架构图

3.1 智能信息系统的架构建模
为了验证本文理论成果的正确性和原型工具的实用性,我们以航空智能信息系统为例开展实验.航空智能
信息系统由 4 个计算节点,通过双环高速光纤网络连接形成高可靠航空电子系统,其中一个计算节点 GPM_A 子
系统的 AADL 架构模型如图 7 所示.

GPM_A
GPM_A1
GPM_A2
GPM_A3
T 11 T 12 T 15 T 21 T 22
T 31
T 17
T 13 T 14 T 16 T 23 T 24
系统软件

计算平台

虚拟处理器1 虚拟处理器2 虚拟处理器3

Memory
Cache CPU:LeonV3 虚拟内存1 虚拟内存2 虚拟内存3

BUS

Fig.7 AADL architecture model of a single processor system
图 7 单处理器系统的 AADL 架构模型
表 5 列出了 GPM_A 的分区信息和各分区内的任务集合.各分区调度相关属性见表 6,各分区内线程调度属
性值见表 7.其中,GPM_A1 包含了 T 11 ~T 17 线程构件,其绑定在虚拟处理器 virtual processor 上,它与其他两个分区
共享处理器构件 LeonV3 和 memory 构件.