摘要：
在之前一篇博文《基于AADL的嵌入式软件的开发方法》中，大体提到了AADL的应用背景，并在《体系结构分析与设计语言AADL基础》中对AADL基本知识进行了整理，本文在此基础上，为了增强建模工具和验证工具Cheddar之间的互操作性，引入了AADL的四种经典通信设计模式：同步数据流模式、互斥模式、黑板模式和排队缓冲模式。一、同步数据流(Synchronous data-flows)模式1.描述 在同步数据流模式中，线程在dispatch时读取输入端口的数据、在complete时向输出端口写数据。此模式不需要共享的data构件，processor构件需要指定固定优先级调度策略（如Rate M... 阅读全文
