AADL结构分析设计语言入门指南

"使用此文档的约定-gjbz 768a-1998 故障树分析指南" AADL（结构分析与设计语言）是一种建模语言，旨在规范和分析实时嵌入式和高可靠性系统。由汽车工程师协会（SAE）发布的AS5506标准定义了AADL，其核心目标是通过可扩展的符号、工具框架和精确的语义，对系统的结构进行早期和反复论证。AADL支持对软件、硬件和系统组件的抽象，并特别适用于性能关键属性的系统。 文档分为多个章节，每个章节关注特定的技术领域。例如： 1. 第5.4、5.5、8.3.1、8.3.2、8.4和8.5章主要涉及建模应用软件，涵盖了数据和子程序构件的交互，如调用和访问。 2. 第5.1、5.2、5.3、8.1、8.2、8.3.1、8.3.2和8.4.2章讨论执行任务与并发，解释多执行路径的运行时交互、协调和时序。 3. 第6.7和8.3.3章涉及系统实例、绑定软件与硬件构件，讲述如何定义完整的系统结构实例。 4. 第11章涵盖了建模元素的属性，讨论AADL模型中的属性赋值和创建新属性的方法。 5. 第9章和11.2章介绍运行时配置剪裁，阐述系统的可选架构配置。 6. 第10、11.3、11.4和11.5章讨论分析抽象，这些章节提供了方便系统结构分析的功能。 文档的使用约定遵循了AADL标准文档（SAE 06a）的风格，但有独特的注释和表示方法，例如使用AADL图标而非UML图形符号。文本例子和注释文本保持一致性，以帮助读者理解和应用AADL的核心语言概念和关键规范化元素。 此外，文档还包含了AADL的概述，解释了其语言结构和目的，适合不熟悉该语言的读者。第2章至第12章深入探讨AADL的不同方面，从软件构件抽象（如进程、线程和数据）到硬件平台（如处理器、存储器和外设），再到系统和流的概念。 AADL的图形化表示和文本规范相结合，提供了系统结构的清晰视图，使得开发者可以将软件映射到硬件元素，有效地进行复杂实时嵌入式系统的基于模型分析和规范。通过这种方式，AADL成为了设计和分析基于构件的系统结构的强大工具。