嵌入式与实时系统开发 使用UML、对象技术、框架与模式2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

嵌入式与实时系统开发 使用UML、对象技术、框架与模式PDF格式电子书版下载

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

目录出版者的话专家指导委员会译者序译者简介序前言作者简介第一部分 基础知识第1章 对象及统一建模语言介绍2

1.1 对象的优点2

1.2 术语和概念6

1.3 UML中的面向对象6

1.3.1 对象7

1.3.2 属性11

1.3.3 行为11

1.3.4 消息传递13

1.3.6 并发15

1.3.5 职责15

1.3.7 自主机器式对象16

1.4 类图16

1.5 用例24

1.6 顺序图25

1.7 物理表示26

1.8 图中常见的元素27

1.8.1 注释27

1.8.2 包27

1.8.3 约束28

1.8.4 构造型29

1.9 小结32

1.10 展望33

1.11 练习33

1.12 参考文献34

第2章 实时系统的基本概念35

2.1 什么是实时系统35

2.2 术语和概念35

2.3 守时性37

2.4 响应39

2.5.1 并发线程的调度41

2.5 并发41

2.5.2 事件到达模式42

2.5.3 线程汇合点模式43

2.5.4 资源共享44

2.6 可预测性45

2.7 正确性和健壮性46

2.7.1 死锁46

2.7.2 异常条件48

2.7.3 竞争条件49

2.8 分布式系统50

2.12 实时操作系统51

2.11 低层硬件接口51

2.9 容错性和保险性51

2.10 处理资源受限的目标环境51

2.12.1 可伸缩性52

2.12.2 调度52

2.12.3 实时操作系统的典型特征52

2.13 小结58

2.14 展望58

2.15 练习59

2.16 参考文献59

3.1.1 Therac-25故事60

3.1.2 其他故事60

第3章 保险性关键系统的基本概念60

3.1 保险性引论60

3.2 术语和概念61

3.3 保险性相关故障63

3.3.1 保险性是一个系统问题64

3.3.2 随机故障与系统故障64

3.3.3 单点失效65

3.3.4 共态失效66

3.3.6 失效-保险状态68

3.3.7 实现保险性68

3.3.5 潜在故障68

3.4 保险性架构70

3.4.1 单通道保护式设计71

3.4.2 多通道表决模式72

3.4.3 同构冗余模式72

3.4.4 相异冗余模式73

3.4.5 监视器-传动器模式75

3.4.6 门禁模式75

3.4.7 保险性执行体模式76

3.5 实现保险性的八个步骤77

3.5.1 第一步：辨别危害78

3.5.2 第二步：确定风险82

3.5.3 第三步：确定保险性措施83

3.5.4 第四步：建立保险性需求84

3.5.5 第五步：创建保险性设计84

3.5.6 第六步：实现保险性85

3.5.7 第七步：确立保险性过程89

3.5.8 第八步：测试，测试，测试89

3.6 一些保险性相关的标准91

3.7 小结92

3.8 展望93

3.9 练习93

3.10 参考文献94

第4章 用于嵌入式系统的快速面向对象过程96

4.1 引论96

4.2 术语和概念97

4.2.1 开发阶段97

4.2.2 排序98

4.2.3 成熟度99

4.3 开发任务序列99

4.3.1 瀑布生命周期99

4.3.3 开发原型100

4.3.2 迭代生命周期100

4.4 进度安排与估计102

4.4.1 精确的进度计划的好处103

4.4.2 精确的进度计划的困难104

4.5 ROPES宏周期105

4.6 分析108

4.6.1 需求分析108

4.6.2 系统分析112

4.6.3 对象分析113

4.7 设计115

4.7.1 架构设计117

4.7.3 详细设计118

4.7.2 机制设计118

4.8 转化 -119

4.8.1 活动120

4.8.2 制品120

4.9 测试120

4.9.1 活动121

4.9.2 制品121

4.10 小结122

4.11 展望122

4.12 练习122

4.13 参考文献123

第二部分 分析第5章 实时系统的需求分析126

5.1 引论126

5.2 术语和概念126

5.2.1 用例126

5.2.2 消息和事件127

5.2.3 场景、协议和状态机129

5.3 用例130

5.3.1 用例间的关系131

5.3.2 用例实例：空中交通控制系统132

5.4 外部事件135

5.5.1 外部事件列表136

5.5 指定外部消息136

5.5.2 响应时间137

5.6 用例行为详述138

5.6.1 非形式文本描述138

5.6.2 场景139

5.6.3 顺序图139

5.6.4 用状态图定义用例行为141

5.7 确定用例141

5.8 使用用例143

5.9 制作好的需求分析图的启发式方法143

5.9.3 用例顺序图的启发式方法144

5.9.1 用例图的启发式方法144

5.9.2 用例的启发式方法144

5.10 小结145

5.11 展望145

5.12 练习145

5.13 参考文献145

第6章 结构对象分析146

6.1 引论146

6.2 术语和概念146

6.3 对象识别的关键策略147

6.3.1 在名词下划线149

6.3.2 识别因果代理151

6.3.3 识别内聚性服务152

6.3.4 识别现实世界的元素152

6.3.5 识别物理设备152

6.3.6 识别域的基本抽象152

6.3.7 识别事务154

6.3.8 识别持久性信息154

6.3.9 识别可视化元素155

6.3.10 识别控制元素156

6.3.11 执行对象模型中的场景157

6.4 对象到类的具体化159

6.5 识别对象关联160

6.5.1 多重性162

6.5.2 关联和链接163

6.6 聚合与组合163

6.7 对象属性163

6.8 泛化关系165

6.9 AATCS实例：类图168

6.10 创建好的类图的启发式方法171

6.11 小结173

6.14 参考文献174

6.12 展望174

6.13 练习174

第7章 行为对象分析175

7.1 引论175

7.2 术语和概念175

7.2.1 简单行为176

7.2.2 状态行为176

7.2.3 连续行为180

7.3 UML状态图186

7.3.1 基本状态语义186

7.3.2 转换和事件188

7.3.3 动作和活动189

7.3.4 伪状态192

7.3.5 正交区与同步193

7.3.6 基本状态图语法194

7.3.7 继承状态模型198

7.3.8 构造错误的状态模型198

7.3.9 实例：AATCS报警系统201

7.4 场景在行为定义中的角色204

7.4.1 时序图204

7.4.2 顺序图206

7.4.3 活动图207

7.5 定义操作210

7.5.1 操作的类型212

7.5.2 定义操作的策略214

7.6 状态图的启发式原则216

7.7 时序图的启发式原则217

7.8 活动图的启发式原则217

7.9 小结218

7.10 展望218

7.11 练习218

7.12 参考文献219

8.2 术语和概念223

第三部分 设计第8章 架构设计223

8.1 引论223

8.3 任务分配模型224

8.3.1 表示任务224

8.3.2 定义任务线程230

8.3.3 将对象指派给任务233

8.3.4 定义任务汇合234

8.4 构件模型238

8.5 部署模型242

8.5.1 在UML中表示物理架构243

8.5.2 多处理器系统244

8.6 保险性／可靠性模型248

8.6.1 同构冗余模式249

8.6.2 相异冗余模式249

8.6.3 监视器-传动器模式251

8.6.4 门禁模式253

8.6.5 保险性执行体模式254

8.7 小结254

8.8 展望255

8.9 练习255

8.10 参考文献256

9.1 引论257

第9章 机制设计257

9.2 术语和概念261

9.3 机制设计模式267

9.3.1 正确性模式268

9.3.2 执行控制模式273

9.4 小结286

9.5 展望287

9.6 练习287

9.7 参考文献287

10.2 术语和概念288

10.1 详细设计引论288

第10章 详细设计288

10.3 数据结构289

10.3.1 基本表示类型289

10.3.2 子范围约束292

10.3.3 派生属性296

10.3.4 数据集结构298

10.4 关联299

10.5 对象接口301

10.6 操作的定义303

10.7 详细算法设计303

10.7.1 在UML中表示算法304

10.7.2 算法实例：运行时数据插值305

10.8 异常310

10.8.1 基于源语言的异常处理312

10.8.2 基于状态的异常处理316

10.9 小结316

10.10 展望317

10.11 练习317

10.12 参考文献318

11.2.1 基于时间的系统320

11.2 术语和概念320

11.1 引论320

第四部分 高级实时对象建模第11章 线程与可调度性320

11.2.2 反应式系统321

11.2.3 时间概念321

11.3 调度线程329

11.3.1 速率单调调度332

11.3.2 最早期限优先调度333

11.3.3 最弱松弛动态调度333

11.3.4 最高紧迫性优先调度333

11.3.6 最小化最大迟滞调度334

11.3.5 加权最短处理时间优先调度334

11.4 线程同步与资源共享335

11.4.1 互斥信号量336

11.4.2 Dekker算法337

11.4.3 自旋锁339

11.4.4 计数信号量339

11.4.5 条件变量340

11.4.6 屏障342

11.4.7 汇合对象342

11.5 硬实时系统的可调度性分析343

11.5.1 全局分析343

11.5.2 带任务阻塞的全局方法346

11.5.3 计算阻塞347

11.5.4 分离任务效用边界349

11.5.5 非周期性任务350

11.6 软实时系统的可调度性分析351

11.6.1 温和与模糊：软环境下的守时性352

11.6.2 软可调度性353

11.7 小结354

11.8 展望355

11.9 练习356

11.10 参考文献357

第12章 动态建模358

12.1 引论358

12.2 术语和概念358

12.3 行为模式365

12.3.1 锁存状态模式366

12.3.2 轮询状态模式367

12.3.3 锁存数据模式369

12.3.4 设备方式状态模式370

12.3.5 事务状态模式371

12.3.6 构件同步状态模式371

12.3.7 屏障状态模式373

12.3.8 事件层次状态模式374

12.3.9 随机状态模式377

12.3.10 空状态模式377

12.3.11 门禁状态模式378

12.3.12 可再触发的计数器状态模式379

12.4 模型层的调试与测试380

12.4.1 动画调试382

12.4.2 动画测试384

12.4.3 调试会话实例386

12.5 小结390

12.6 展望392

12.7 练习392

12.8 参考文献392

第13章 实时框架393

13.1 引论393

13.2 术语和概念394

13.3 实时框架395

13.3.1 架构支持模式396

13.3.2 协作和分布模式398

13.3.3 保险性和可靠性模式402

13.3.4 行为模式404

13.4 框架设计原理与度量406

13.4.1 服务的集合406

13.4.2 泛化层次结构407

13.4.3 可替换构件407

13.4.4 可移植性408

13.4.5 命名和语法约定408

13.4.6 性能408

13.5 Rhapsody执行框架（OXF）409

13.5.1 Rhapsody架构409

13.5.2 执行框架411

13.5.3 对象间关联模式412

13.5.4 使用C++标准模板库414

13.5.5 抽象操作系统414

13.5.6 动画框架415

13.6 Rhapsody OXF框架应用实例415

13.7 小结427

13.8 练习427

13.9 参考文献427

附录附录A UML符号表示总结429

附录B Rhapsody：完全构造性的UML可视化编程工具445

附录C TimeWiz：用于时序分析的集成工具453