基于AADL的模型设计与仿真分析技术

最新推荐文章于 2024-02-22 12:08:14 发布

chidi0225

最新推荐文章于 2024-02-22 12:08:14 发布

阅读量3.7k

点赞数 2

文章标签：嵌入式人工智能

原文链接：https://my.oschina.net/watertek/blog/3094588

版权

AADL是一种用于嵌入式系统体系结构建模的语言，尤其适用于复杂实时安全关键系统。它提供了组件类别、建模过程、验证技术和工具，如OSATE、STOOD和AADL Inspector。AADL支持时空分区模型、流延迟分析、故障树分析和基于总线的系统调度。与其他建模语言相比，AADL更专注于实时系统软件和硬件的标准化建模。

摘要由CSDN通过智能技术生成

5d566f0e-8c4c-4b04-a2b3-6e90ac10c663 (2).jpg

AADL（Architecture Analysis and Design language）是一种应用于嵌入式系统领域的体系结构建模语言，支持航空、航天、汽车等领域复杂实时的安全关键系统的设计与分析。AADL具有语法简单、功能强大、可扩展等优点，能够对嵌入式软件的功能和非功能属性进行建模与描述，在开发早期对系统进行分析与验证。

AADL组件类别

AADL提供了标准化的文本和图形描述，是一个用以区分各类组件接口规范、组件实现蓝图以及组件实例之间的区别的组件基建模语言。组件由组件类型和组件实现两种方式描述。组件类型定义了组件与外界联系的接口，如特征、流应用、模式、属性等；组件实现定义了组件的内部结构，如子组件、连接、流等。系统建模中常用的组件如下[1]：

微信图片_20190816154736.png

表1 组件类别

图片1.png

图 1 AADL核心组件

AADL建模过程

模型驱动体系结构MDA（Model Driven Architecture ）将模型分为两种：平台无关模型PIM (Platform Independent Model)，描述从执行平台抽象的功能和结构；平台相关模型PSM (Platform Specific Model)，描述特定执行平台上的功能和结构。AADL使用一种逐步精化的建模方法，不仅可以在不同的阶段进行建模，而且可以从不同的层次进行建模：顶层设计主要描述系统的各个模块及模块间的关系；底层设计主要描述模块的软硬件组成、