AADL结构分析与设计语言导论 - CSDN文库

AADL中文文档

5星 · 超过95%的资源需积分: 22 154 浏览量更新于2023-03-16 评论收藏 4.15MB PDF 举报

身份认证购VIP最低享 7 折!

领优惠券(最高得80元）

资源详情

资源评论

资源推荐

结构分析与设计语言导论

摘要

2004年11月，汽车工程师协会（Society of Automotive Engineers ,SAE）发布

了航空标准AS5506,命名为结构分析与设计语言(AADL)。AADL是一个建模语

言，考虑到性能关键属性，通过一个可扩展的符号，一个工具框架和精确定义的

语义，这个语言支持对系统的结构进行早期和反复论证。

这个语言按照不同的构件和构件之间的交互，使用形式化建模概念对应用系

统结构进行描述和分析。它包括软件、可计算性硬件和系统构件的抽象。a）用

来规范和分析实时嵌入式和高可靠性系统、系统复杂的系统和专门性能功能系

统。b)用来把软件映射到可计算性硬件元素。

AADL在复杂实时嵌入式系统的基于模型分析和规范的领域非常有效，本技

术说明是对AADL概念、语言结构和应用的导论。

AADL 标准包括用来交换和控制数据机制的运行时语义，包括：

 消息传递

 事件传递

 同步访问共享构件

 线程调度协议

 时序要求

 远程过程调用

而且，使用操作模式和模式转换来规范运行时体系结构的动态重构。

2.2 体系结构分析

AADL 可以用来建模和分析已使用中的系统以及设计和整合新的系统。

AADL 可以用于分析部分定义的体系结构模式（具有有限的体系结构细节）以及

全面分析从源代码提取的完整的系统模型（有着完全确定的系统属性值）。

AADL 支持关键系统性能的早期预测和分析—例如性能、调度和可靠性。例

如。在规范和分析调度时，AADL 支持的线程构件包括周期的预声明

4

执行属性

项、非周期性（事件驱动）/背景（分解一次，完全执行）、零星的（按最大速率

边界）事件。系统声明部分定义了这些线程特性，且这些特性很容易分析。

在核心语言中，可以声明属性集，属性集包括用于构件和其他建模元素的新

属性（例如，端口和连接）。通过使用语言的扩展功能，可以包括附加的模型和

属性。例如。可以使用一个可靠性附件，这个附件定义构件的可靠性模型和属性，

方便对体系结构进行马尔科夫(Markov)或错误树的分析（SAE06B），这些分析能

够评价体系结构与指定的可靠性要求的兼容性。

全面地，在体系结构设计层次中，这些 AADL 属性和扩展可以用来合并新

的和错误的分析。这些分析在开发和升级程序时，有利于及早地在可选设计选项

之间进行权衡估计。

AADL 构件通过定义好的接口进行专门的交互。一个构件接口由有向流组

成：

 用于非队列状态数据的数据端口

 用于队列消息数据的事件数据端口

 异步事件的事件端口

 同步子程序调用

 数据构件的显示访问

构件之间的交互是显示指定的。例如，构建之间的数据通信通过连接声明指

定。这些可能是即时的通信或者状态延迟通信。这些连接的语义确保数据流传输

剩余111页未读，继续阅读

评论1

祥和平静

2014-06-03

非常不错的一份教程

yutou0715247

粉丝: 0
资源: 2

会员权益专享

图片转文字

全年可省5，000元立即开通

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈