AADL:

Architecture Analysis and Design Language

架构分析与设计语言

Background

任务和安全关键系统的软件，如飞机上的航空电子系统，越来越大，越来越昂贵。架构分析和设计语言（AADL）解决了这些系统开发中的常见问题。例如对物理系统、计算机硬件、软件及其交互的不匹配假设，这些假设可能导致在开发生命周期中太晚发现系统问题，给任务和安全关键技术的开发人员和用户带来了越来越难以承受的潜在危险。

Model-based Engineering for Embedded Systems

基于模型的嵌入式系统工程：

AADL框架允许在开发之前分析系统设计（和系统体系结构设计），并在整个系统生命周期中支持以体系结构为中心、基于模型的开发方法。AADL的目标是实时系统，即传感器和执行器与软件组件紧密耦合的嵌入式系统，有助于分析硬件和软件组件之间的交互。它侧重于使用丰富的形式化语义的系统设计规范，这些语义可用于分析和生成系统。

AADL标准：

  • 使您能够指定和生成可以分析多种质量的单个模型
  • 为应用程序和执行平台建模提供具有精确语义的行业标准、文本和图形表示法
  • 具有支持分包商、集成商和代理之间模型交换的XML交换格式
  • 包括一个UML概要文件，该概要文件将AADL表示为UML框架中的一个专门建模符号
  • 由商业和开源工具解决方案支持

AADL Model

AADL模型包含组件类型和实现及其接口、子组件和其他属性。

它以分层的方式定义系统，顶部组件称为根系统，其他组件类别分为三个集群：硬件、软件和混合。

*标准化委员会一直在不断发展这种语言。

SAE AADL

SAE AADL标准可通过以下方式降低开发和维护成本：

  • 为性能关键型系统提供标准、精确的语法和语义，以便可以很好地定义文档
  • 提供在单个可分析模型中从多个方面对大规模（多承包商）体系结构进行建模的能力，该模型可以逐步细化
  • 捕获评估变更影响所需的“架构API”，例如集成的紧急属性（例如，安全性、可调度性、端到端延迟和安全性）
  • 允许对建模和分析进行早期和生命周期跟踪
  • 分析系统结构和运行时行为，而不是功能行为，补充功能模拟
  • 为参考体系结构和基于组件或产品线的开发提供了很好的补充

参考网站：Architecture Analysis and Design Language (cmu.edu)