32、AADL同步子集的开发与分析

AADL同步子集的开发与分析

1. AADL概述

AADL涵盖了任何体系结构描述语言（ADL）的标准概念，包括组件、描述组件接口的连接器以及连接组件的连接件。AADL区分了三种类型的组件：
- 软件组件 ：如进程、线程、线程组、子程序和数据。
- 硬件组件 ：例如处理器、总线、内存和设备。
- 系统组件 。

1.1 AADL线程

在AADL中，线程是唯一具有执行语义的组件。AADL支持经典的线程调度协议类型，线程可以被声明为周期性、非周期性、偶发性或后台线程。用于描述实时系统的所有标准属性（如最坏情况执行时间（WCET）、截止时间等）在AADL中都存在。这里我们仅考虑周期性线程，周期性线程在每个周期内被调度。当线程完成执行后，它会进入“awaiting_dispatch”状态，直到下一个周期。线程的实际执行时间受其WCET限制，并且必须在截止时间之前结束。

1.2 AADL数据端口协议

AADL定义了三种类型的端口：数据端口、事件端口和事件数据端口。数据端口允许通过单个字（寄存器）进行通信，事件和事件数据端口表示缓冲通信，这里我们仅考虑数据端口。
数据端口连接可以声明为延迟或立即连接：
- 延迟连接 ：数据在发送线程的截止时间可用。
- 立即连接 ：接收线程必须等待发送线程完成才能开始执行。

通信在定义明确的时刻发生：
- 一般情况下，消息在调度时复制；对于