图书介绍

使用AADL的模型基工程 SAE体系结构分析和设计语言入门【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

使用AADL的模型基工程 SAE体系结构分析和设计语言入门
  • (英)费勒,(英)格鲁茨著 著
  • 出版社: 北京:航空工业出版社
  • ISBN:9787516504055
  • 出版时间:2014
  • 标注页数:303页
  • 文件大小:62MB
  • 文件页数:321页
  • 主题词:面向对象语言-程序设计

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]

下载说明

使用AADL的模型基工程 SAE体系结构分析和设计语言入门PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!

(文件页数 要大于 标注页数,上中下等多册电子书除外)

注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具

图书目录

引言1

第1部分 模型基工程与AADL5

第1章 模型基软件系统工程5

1.1 MBE和软件系统工程5

1.1.1 MBE用于嵌入式实时系统5

1.1.2 可分析的模型和MBE6

1.1.3 MBE和AADL8

1.2 AADL和其他建模语言9

1.2.1 AADL、MDA和UML10

1.2.2 AADL和SysML11

第2章 使用SAE AADL进行工作12

2.1 AADL模型13

2.1.1 组件类别13

2.1.2 语言的语法14

2.1.3 AADL分类14

2.1.4 AADL说明汇总15

2.1.5 AADL模型的结构17

2.2 系统规范和系统实例18

2.2.1 组建系统实例模型18

2.2.2 AADL文本域图形表示18

2.2.3 分析模型20

第3章 使用AADL建模和分析的基础21

3.1 简单模型的开发21

3.1.1 模型组件的定义21

3.1.2 顶层模型的开发24

3.1.3 控制软件的细节描述25

3.1.4 添加硬件组件27

3.1.5 物理连接的说明28

3.1.6 软件对硬件的绑定29

3.1.7 进行调度分析30

3.1.8 综述32

3.2 代码文件的表示32

3.2.1 源代码和二进制文件的编写33

3.2.2 变量名称文件的编写34

3.2.3 源代码结构的建模34

3.3 动态重构的建模35

3.3.1 PBA模型的扩展35

3.3.2 模式的规定37

3.4 抽象流的建模与分析38

3.4.1 流规范的规定38

3.4.2 端对端流的规定39

3.4.3 流分析40

3.5 概念模型的开发40

3.5.1 将抽象组件部署在PBA模型中41

3.5.2 详细的抽象实现43

3.5.3 变换为运行时表示44

3.5.4 增加运行时属性45

3.5.5 完善规范47

3.6 利用组件模式开展的工作48

3.6.1 组件库和参考体系结构48

3.6.2 建立组件库49

3.6.3 定义参考体系结构51

3.6.4 使用参考体系结构52

第4章 应用AADL能力54

4.1 规定系统组成54

4.1.1 组件分层54

4.1.2 建模执行平台资源55

4.1.3 执行平台通信支持56

4.1.4 系统分层56

4.1.5 建立系统实例模型57

4.1.6 使用系统实例模型中的连接开展工作57

4.1.7 使用系统实例模型开展工作58

4.2 组件交互59

4.2.1 数据和控制单向交换的建模59

4.2.2 建模共享数据交换60

4.2.3 建模局部服务请求或功能调用61

4.2.4 建模远程服务请求或功能调用62

4.2.5 建模面向对象的方法调用64

4.2.6 建模子程序参数66

4.2.7 与外部世界的接口68

4.3 数据及其使用建模68

4.3.1 定义一个简单的数据类型68

4.3.2 表示数据类型的变型69

4.3.3 数据类型详解70

4.4 组织一个设计71

4.4.1 软件包使用71

4.4.2 开发替代的实现73

4.4.3 定义多种扩展74

第2部分 AADL的要素79

第5章 定义AADL组件79

5.1 组件名称79

5.2 组件类别79

5.3 说明组件类型80

5.4 说明组件的外部接口82

5.5 说明组件实现84

5.6 汇总87

第6章 软件组件88

6.1 线程88

6.1.1 表示90

6.1.2 属性90

6.1.3 限制91

6.2 线程组92

6.2.1 表示92

6.2.2 属性93

6.2.3 限制93

6.3 进程94

6.3.1 表示94

6.3.2 属性95

6.3.3 限制95

6.4 数据95

6.4.1 表示96

6.4.2 属性97

6.4.3 限制97

6.5 子程序98

6.5.1 表示99

6.5.2 属性99

6.5.3 限制99

6.6 子程序组100

6.6.1 表示100

6.6.2 属性101

6.6.3 限制101

第7章 执行平台组件102

7.1 处理器102

7.1.1 表示103

7.1.2 属性103

7.1.3 限制104

7.2 虚拟处理器104

7.2.1 表示104

7.2.2 属性105

7.2.3 限制105

7.3 存储器106

7.3.1 表示106

7.3.2 属性107

7.3.3 限制107

7.4 总线108

7.4.1 表示108

7.4.2 属性109

7.4.3 限制109

7.5 虚拟总线109

7.5.1 表示109

7.5.2 属性110

7.5.3 限制110

7.6 设备110

7.6.1 表示111

7.6.2 属性112

7.6.3 限制112

第8章 复合组件和通用组件113

8.1 系统113

8.1.1 表示113

8.1.2 属性114

8.1.3 限制114

8.2 抽象115

8.2.1 表示115

8.2.2 属性116

8.2.3 限制116

第9章 静态和动态体系结构118

9.1 分组件118

9.1.1 说明分组件118

9.1.2 使用分组件说明119

9.1.3 作为阵列说明的分组件120

9.2 模式121

9.2.1 说明模式和模式转换121

9.2.2 说明模态组件类型和实现122

9.2.3 使用可选组件配置的模式123

9.2.4 继承模式125

9.2.5 模式特定的属性127

9.2.6 调用序列的模态配置127

第10章 组件交互129

10.1 端口和连接129

10.1.1 端口说明129

10.1.2 端口与端口连接的说明131

10.1.3 端口与端口连接的使用131

10.1.4 端口与端口连接的限制134

10.1.5 端口通信时序136

10.1.6 数据流的采样处理137

10.1.7 确定性采样138

10.1.8 混合端口基和共享数据通信141

10.1.9 端口与端口的连接属性144

10.1.10 集合数据通信144

10.2 数据访问和连接146

10.3 总线访问和连接148

10.4 特征组和连接151

10.4.1 特征组类型说明152

10.4.2 将特征组作为组件特征来说明153

10.4.3 特征组连接说明154

10.5 抽象特征和连接157

10.5.1 抽象特征说明157

10.5.2 抽象特征细化158

10.6 阵列和连接159

10.6.1 明确规定的阵列连接159

10.6.2 阵列连接模式160

10.6.3 使用阵列连接属性161

10.7 子程序调用、访问和实例162

10.7.1 说明调用和调用序列163

10.7.2 将远程子程序调用作为绑定来说明164

10.7.3 将远程子程序调用作为访问连接来说明165

10.7.4 建模子程序实例166

10.8 参数连接168

10.8.1 参数说明168

10.8.2 参数连接的说明169

第11章 系统流与软件开发171

11.1 流171

11.1.1 流规范说明171

11.1.2 流实现说明173

11.1.3 端对端流说明177

11.1.4 端对端流处理178

11.2 软件与硬件的绑定179

11.2.1 绑定属性的说明179

11.2.2 处理器绑定181

11.2.3 存储器绑定181

11.2.4 连接绑定181

11.2.5 远程子程序调用的绑定182

第12章 组建模型184

12.1 模型要素的命名和引用184

12.1.1 软件包的命名和引用184

12.1.2 分类符的命名和引用184

12.1.3 对模型要素的引用185

12.1.4 属性集的命名和引用185

12.2 利用软件包组建模型186

12.2.1 软件包说明186

12.2.2 软件包中引用的要素188

12.2.3 用于软件包和类型参考的别名190

12.3 通过细化改进模型191

12.3.1 分类符扩展说明192

12.3.2 模型要素细化说明192

12.3.3 用于细化的分类符替换规则194

12.3.4 类别的细化196

12.4 作为分类符参数的原型197

12.4.1 原型说明197

12.4.2 原型使用199

12.4.3 提供原型实际200

12.4.4 属性202

第13章 注释模型203

13.1 编写模型要素文件203

13.1.1 评注并描述属性203

13.1.2 空白组件段204

13.2 使用属性204

13.2.1 分配属性值205

13.2.2 AADL属性类型和数值206

13.2.3 确定属性值208

13.2.4 包容属性关联209

13.2.5 确定属性值:一个示例210

第14章 扩展的语言213

14.1 属性集213

14.1.1 说明的属性集213

14.1.2 属性集说明214

14.1.3 属性定义217

14.1.4 属性常数说明219

14.2 附件子语言219

14.2.1 附件库中说明的附件概念220

14.2.2 分子句中使用的附件概念221

第15章 创建和验证模型222

15.1 模型创建222

15.2 模型创建工具223

15.3 系统验证和生成224

15.4 系统验证和生成工具225

附录A 语法和属性汇总227

A.1 AADL语法227

A.2 组件类型和实现要素240

A.3 基本属性类型和类型构造器245

A.4 AADL备用字245

A.5 AADL属性246

A.5.1 部署属性246

A.5.2 线程相关属性256

A.5.3 时序属性260

A.5.4 通信属性267

A.5.5 存储器相关属性272

A.5.6 编程属性276

A.5.7 建模属性283

A.5.8 项目特定常数和属性类型284

A.6 运行时服务289

A.6.1 应用运行时服务289

A.6.2 运行时执行服务291

A.7 汽艇自动驾驶仪系统294

A.7.1 描述294

A.7.2 增强版PBA系统295

A.7.3 PBA系统的AADL组件295

A.7.4一个备选的AADL表示法296

附录B 增补资源297

B.1 系统体系结构建模297

B.2 案例研究298

附录C 参考文献300

热门推荐