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

摘要：OCARINA是法国ENST开发的AADL自动生成代码工具，能够将AADL模型自动生成POLYORB中间件及其上的C、ADA代码。下面将详细介绍OCARINA的安装和使用方法。一、Ocarina源码安装教程1.安装ada编译器因为ocarina是用Ada开发的，所以需要用Ada的编译器才能运行。在安装GCC的基础上，还需要安装gcc-gnat和GNAT.Ocarina支持编译器版本：gcc-gnat 4.4.0以上 GNAT 2006以上，因此老系统（比如redhat9等）就不适用了GNAT目前最新版本见http://libre.adacore.com/libre/下载后... 阅读全文

摘要：安全关键系统(Safety Critical System)的模型驱动开发过程中，怎样提高模型对实时嵌入式系统非功能需求的表达能力，怎样在早期设计过程中对系统进行分析与验证，怎样正确的生成代码一直是研究热点。体系结构分析与设计语言AADL是在这种背景下产生的，能够描述ERTS的非功能属性，支持静态、动态结构的协同建模，支持软件、硬件的协同建模，并且可以针对特定领域进行扩展。目前，基于AADL的模型驱动过程得到了学术界和工业界的广泛研究和应用。在以后的过程中，我将对基于AADL的嵌入式开发框架：建模、分析与验证和代码生成的过程进行一一介绍，在展示我们的成果的同时，也希望志同道合同方向的朋友参与交 阅读全文

摘要：这是在研究AADL标准过程中，写的笔记，拿出来与大家共享，也请大家多提意见，多多交流。2001.11,SAE提出航空标准AS5506,即AADL。支持对性能关键系统属性用可扩展的标记符、工具框架和精确定义的语义进行早期重复性的分析。AADL可以用于建模和分析正在使用中的系统，可以设计和集成系统。AADL可以用于部分定义模块的分析，也可以用于从源码中提取出来的完整系统的分析。AADL支持对性能关键系统质量（例如性能、可调度性和稳定性）的早期预测和分析。例如线程构件的属性中有周期性、非周期性、背景和分散事件的选项进行预声明，以此能够进行分析。Verification & validatio 阅读全文