SAE AS5506/3-2017
架构分析和设计语言（AADL）附件 D：行为模型附件

Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex

标准号

SAE AS5506/3-2017

发布

2017年

发布单位

SAE - SAE International

当前最新

SAE AS5506/3-2017

 

 

适用范围

简介 SAE 架构分析和设计语言（在本文档中称为 AADL）是一种文本和图形语言，用于设计和分析性能关键型实时系统的软件和硬件架构。这些系统的运行很大程度上取决于满足非功能性系统要求，例如可靠性@可用性@定时@响应性@吞吐量@安全性@和安全性。 AADL 用于将此类系统的结构描述为映射到执行平台的软件组件的集合。它可用于描述组件的功能接口（例如数据输入和输出）以及组件的性能关键方面（例如时序）。 AADL 还可用于描述组件如何交互，例如数据输入和输出如何连接或应用软件组件如何分配给执行平台组件。该语言还可以通过提供对模型操作模式和模式转换的支持来描述运行时架构的动态行为。该语言被设计为可扩展的，以适应核心语言不完全支持的运行时架构的分析。扩展可以采用新属性和分析特定符号的形式，这些符号可以与组件关联并自行标准化。 AADL 的开发是为了满足性能关键型实时系统@的特殊需求，包括嵌入式实时系统，例如航空电子设备@汽车电子@或机器人系统。该语言可以描述重要的性能关键方面，例如时序要求@故障和错误行为@时间和空间分区@以及安全和认证属性。这样的描述允许系统设计者对组成的组件和系统进行分析，例如系统可调度性、规模分析和安全分析。通过这些分析，设计师可以评估架构的权衡和变化。 AADL 支持以一致的方式沿着多个分析维度分析架构变更的横切影响。通过从带注释的架构模型自动生成分析模型来实现一致性。 AADL 设计用于与生成工具一起使用，这些工具支持自动生成集成系统组件并根据经过验证的模型构建系统执行程序所需的源代码。这种以体系结构为中心的基于模型的工程方法允许在整个开发生命周期中根据需求对系统模型进行增量验证和验证，并根据系统模型进行实现。本文档包含行为附件@的修订版本，它允许在基于状态机的附件子语言中对组件和组件交互行为进行建模。

SAE AS5506/3-2017相似标准

推荐

SAE AS5506/3-2017系列标准