欢迎来到天天文库
浏览记录
ID:17927654
大小:3.80 MB
页数:112页
时间:2018-09-10
《嵌入式软件系统架构设计与构件化分析方法》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、嵌入式软件系统架构设计与构件化分析方法一、摘要:5二、SAEAADL概述52.1.构件抽象52.2.构架分析6三、AADL语言抽象83.1.构件83.2.构件类型93.3.包、属性集和附录10四、AADL系统模型和规范104.1.AADL文本规范114.2.图形化表示134.3.例子详述134.4.类型声明164.5.实现声明174.6.包声明194.7.属性集声明194.8.附录库声明194.9.命名空间204.10.部分规范204.11.扩展、重定义和部分规范20五、软件组件215.1.进程215.1.1.文本表示225.1.2.图形化表示235.1.3.属性23
2、5.1.4.约束245.2.线程245.2.1.文本表示245.2.2.图形化表示255.2.3.线程实施265.2.4.属性275.2.5.约束285.3.线程组285.3.1.文本表示285.3.2.图形化表示295.3.3.属性305.3.4.约束315.4.数据315.4.1.文本表示325.4.2.图形化表示331125.4.3.属性345.4.4.约束345.5.子程序355.5.1.文本表示355.5.2.图形化表示365.5.3.属性385.5.4.约束39六、运行平台构件396.1.处理器406.1.1.文本和图形化描述416.1.2.属性416.1
3、.3.约束426.2.存储器426.2.1.文本和图形化描述426.2.2.属性436.2.3.约束446.3.总线446.3.1.文本和图形化描述446.3.2.属性456.3.3.约束456.4.设备466.4.1.文本和图形化描述466.4.2.属性486.4.3.约束48七、系统结构与实例497.1.系统抽象497.1.1.原文和图解表示497.1.2.约束507.2.系统实例51八、组件相互作用538.1.端口538.1.1.端口声明538.1.2.端口连接548.1.3.在系统实例模型连接568.1.4.端口通信时序578.1.5.即时和时延通信578.1
4、.6.采样和下采样608.1.7.属性618.1.8.端口及端口连接约束628.2.端口组628.2.1.端口组及其类型声明628.2.2.端口组互联648.2.3.数据端口的聚合658.2.4.属性651128.3.子组件的访问658.3.1.数据访问声明668.3.2.数据访问连接668.3.3.总线访问及其连接688.4.子程序调用718.4.1.调用时序718.4.2.远程调用728.4.3.属性748.5.子程序中的数据交换和共享748.5.1.数据值传递交换:参数和连接758.5.2.引用和全局变量的数据传输768.5.3.AADL方法调用78九、模式79
5、9.1.模式说明799.1.1.子构件和连接的模式结构799.1.2.调用序列的模式结构829.1.3.模式说明的属性83十、流8310.1.流声明8310.2.流路径8410.2.1.通过构件的流的路径8410.2.2.在构件中首尾相连的流85十一、属性8611.1.属性声明8711.2.属性赋值8711.2.1.基本的属性联合8711.2.2.包含的属性联合8811.2.3.继承的属性联合9111.2.4.模式或有约束力的属性联合9111.2.5.属性值9211.3.定义新的属性9311.4.属性类声明9411.5.属性名声明9511.6.属性常量声明96十二、组
6、织说明9712.1.包9712.2.设计模式9912.2.1.类扩充9912.2.2.实现改进10012.2.3.实现扩充10112.2.4.设计模式样例102附录105构件-子构件之间的关系105允许的特征105112约束概要107已建立的属性类109AADL保留字110类扩充中的改进110实现声明中的改进111112一、摘要:2004年11月,美国汽车工程师协会(SAE)公布的航空航天标准AS5506被命名为结构分析与设计语言(AADL)。AADL是一种建模语言,其早期支持系统的体系结构架设和反复论证系统性能的关键属性,AADL是一个明确界定语义的框架工具,它包括
7、软件抽象,计算硬件和系统组件,其指定和分析实时嵌入式系统及其高可靠性。下述将对AADL语言的概念、结构以及应用进行介绍和说明。二、SAEAADL概述SAE的AADL为我们提供了形式化的概念。这些概念从组件及组件间的交互对一个应用系统的构架进行描述和分析。AADL建模过程包括将软件、硬件和系统构件进行抽象。这些抽象包括:1)指定和分析实时嵌入式系统、复杂混合系统和具有专用性能特性系统;2)软件与可计算硬件元素的对应关系。另外,AADL的有效性也体现在对基于模型分析和对复杂实时嵌入式系统建立规范的操作上。2.1.构件抽象在AADL标准中,一个构件的特征包
此文档下载收益归作者所有