实时嵌入式系统软件设计

图书标准信息

• 作者 Gomaa 著；Hassan、郭文海 林金龙 译
• 出版社 机械工业出版社
• 出版时间 2018-12
• 版次 1
• ISBN 9787111615309
• 定价 129.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 464页
• 丛书 计算机科学丛书

【内容简介】

本教材向读者介绍了关于实时嵌入式系统设计过程中采用SysML，UML和MARTE从用例到完整软件体系结构方面的内容，展示了如何针对实际问题应用COMET/RTE设计方法。本教材涵盖了关键主题，例如实时系统的用例、实时控制的状态机、分布式和分层实时控制的体系结构模式、实时基于组件的软件体系结构模式、采用实时调度的实时设计性能分析，以及单处理器和多处理器系统时序分析。

【作者简介】

哈桑·戈玛（Hassan Gomaa）是George Mason大学计算机科学系教授和前任系主任，在工业界和学术界有30多年的软件工程经验。他曾在北美、欧洲、日本和韩国讲授实时软件设计方面的高级短期行业培训课程。他已发表了200余篇技术论文，编写了另外4本有关软件设计方面的教材，包括《软件建模与设计》和《用UML设计软件产品线》。

【目录】

出版者的话 
译者序 
前言 
致谢 
第一部分　概述 
第1章　引言2 
1.1　挑战2 
1.2　实时嵌入式系统和应用软件2 
1.3　实时嵌入式系统的特征3 
1.4　分布式实时嵌入式系统5 
1.5　信息物理系统6 
1.6　嵌入式系统实时软件设计方法需求6 
1.7　COMET/RTE：用于嵌入式系统的实时软件设计方法7 
1.8　可视化建模语言：UML、SysML和MARTE7 
1.9　小结7 
第2章　UML、SysML和MARTE概述9 
2.1　使用SysML和UML的模型驱动体系结构9 
2.2　用例图10 
2.3　类和对象11 
2.4　类图11 
2.5　交互图12 
2.6　状态机图14 
2.7　包图15 
2.8　并发序列图和通信图15 
2.9　部署图16 
2.10　组合结构图17 
2.11　UML扩展机制和扩展集18 
2.12　SysML19 
2.13　MARTE扩展集20 
2.14　时序图21 
2.15　UML、SysML和MARTE的工具支持21 
2.16　小结22 
第3章　实时软件设计和体系结构概念23 
3.1　面向对象概念23 
3.2　信息隐藏24 
3.3　继承25 
3.4　主动和被动对象26 
3.5　并发处理26 
3.6　并发任务之间的合作27 
3.7　信息隐藏应用于访问同步30 
3.8　实时并发处理的运行时支持30 
3.9　任务调度31 
3.10　软件体系结构和组件33 
3.11　小结34 
第二部分　实时软件设计方法 
第4章　实时嵌入式系统软件设计方法概述36 
4.1　COMET/RTE系统和软件生命周期模型36 
4.2　COMET/RTE生命周期模型37 
4.3　COMET/RTE生命周期与其他软件过程比较39 
4.4　实时嵌入式系统设计方法综述40 
4.5　系统和软件体系结构的多个视图41 
4.6　小结42 
第5章　SysML和UML实时嵌入式系统结构化建模43 
5.1　静态建模概念43 
5.2　用构造型归类块和类46 
5.3　SysML问题域结构化建模46 
5.4　系统上下文结构化建模48 
5.5　硬件/软件边界建模50 
5.6　软件系统上下文结构化建模51 
5.7　定义硬件/软件接口54 
5.8　系统部署建模54 
5.9　小结55 
第6章　实时嵌入式系统用例建模56 
6.1　用例56 
6.2　角色56 
6.3　确定用例60 
6.4　用例模型中的用例文档61 
6.5　指定非功能需求61 
6.6　用例描述举例62 
6.7　用例关系65 
6.8　包含用例关系65 
6.9　扩展用例关系67 
6.10　用例包69 
6.11　小结69 
第7章　实时嵌入式系统状态机71 
7.1　状态机71 
7.2　状态机示例73 
7.3　事件和监护条件74 
7.4　动作74 
7.5　分层状态机79 
7.6　协作状态机82 
7.7　继承状态机84 
7.8　从用例中开发状态机85 
7.9　从用例中开发状态机的示例85 
7.10　小结88 
第8章　为实时嵌入式软件构造对象和类89 
8.1　对象和类的构造标准89 
8.2　对象和类的构造类别90 
8.3　对象的行为和模式90 
8.4　边界类和对象91 
8.5　实体类和对象95 
8.6　控制类和对象96 
8.7　应用逻辑类和对象98 
8.8　小结100 
第9章　实时嵌入式软件动态交互建模101 
9.1　对象交互建模101 
9.2　消息序列描述102 
9.3　动态交互建模方法102 
9.4　无状态的动态交互建模103 
9.5　无状态的动态交互建模示例103 
9.6　依赖于状态的动态交互建模107 
9.7　依赖于状态的动态交互建模示例：微波炉系统109 
9.8　小结116 
第10章　实时嵌入式系统软件体系结构117 
10.1　软件体系结构概述117 
10.2　软件体系结构的多个视图119 
10.3　从分析过渡到设计121 
10.4　子系统设计中的关注点分离123 
10.5　子系统构造标准125 
10.6　确定子系统间的消息通信130 
10.7　小结131 
第11章　实时嵌入式系统软件体系结构模式132 
11.1　软件设计模式132 
11.2　分层软件体系结构模式133 
11.3　实时软件体系结构的控制模式135 
11.4　客户/服务软件体系结构模式138 
11.5　基本软件体系结构通信模式140 
11.6　软件体系结构代理模式145 
11.7　分组消息通信模式147 
11.8　编写软件体系结构模式文档148 
11.9　软件体系结构模式应用149 
11.10　小结149 
第12章　基于组件的实时嵌入式系统软件体系结构150 
12.1　基于组件的软件体系结构150 
12.2　基于组件的分布式软件体系结构设计151 
12.3　组件接口设计151 
12.4　复合组件设计153 
12.5　基于组件的软件体系结构示例155 
12.6　组件构造标准156 
12.7　服务组件设计158 
12.8　数据分布161 
12.9　软件部署162 
12.10　软件连接器设计163 
12.11　小结165 
第13章　并发实时软件任务设计166 
13.1　并发任务构造问题166 
13.2　分类并发任务166 
13.3　I/O任务构造标准167 
13.4　内部任务构造标准172 
13.5　任务优先级标准177 
13.6　任务聚簇标准178 
13.7　用任务反演进行设计重构183 
13.8　开发任务体系结构184 
13.9　任务通信和同步185 
13.10　任务接口与任务行为规范189 
13.11　小结189 
第14章　实时软件详细设计191 
14.1　组合任务设计191 
14.2　类访问同步196 
14.3　监视器设计199 
14.4　任务间通信连接器设计203 
14.5　任务事件序列逻辑209 
14.6　机器人和视觉系统中的实时软件详细设计210 
14.7　并发任务的Java实现211 
14.8　小结212 
第15章　实时软件产品线体系结构设计213 
15.1　软件产品线工程213 
15.2　微波炉软件产品线问题描述214 
15.3　软件产品线需求建模214 
15.4　软件产品线分析建模218 
15.5　软件产品线设计建模222 
15.6　小结224 
第三部分　实时软件设计分析 
第16章　实时嵌入式系统的系统和软件质量属性226 
16.1　可扩展性226 
16.2　性能227 
16.3　可用性227 
16.4　安全性228 
16.5　信息安全229 
16.6　可维护性229 
16.7　可修改性230 
16.8　可测试性231 
16.9　可跟踪性232 
16.10　可重用性232 
16.11　小结233 
第17章　实时软件设计的性能分析234 
17.1　实时调度理论234 
17.2　非周期任务和任务同步的实时调度239 
17.3　广义实时调度理论240 
17.4　使用事件序列分析进行性能分析243 
17.5　使用实时调度理论和事件序列分析进行性能分析245 
17.6　高级实时调度算法245 
17.7　多处理器系统的性能分析246 
17.8　性能参数的估计和测量249 
17.9　小结250 
第18章　性能分析应用于实时软件设计251 
18.1　使用事件序列分析进行性能分析的示例251 
18.2　用实时调度理论进行性能分析的示例255 
18.3　用实时调度理论和事件序列分析进行性能分析的示例258 
18.4　设计重构268 
18.5　小结268 
第四部分　实时嵌入式系统软件 
设计案例研究 
第19章　微波炉控制系统案例研究270 
19.1　问题描述270 
19.2　结构化建模270 
19.3　用例建模272 
19.4　构造对象和类275 
19.5　动态状态机建模276 
19.6　动态交互建模280 
19.7　设计建模290 
19.8　实时软件设计的性能分析297 
19.9　基于组件的软件体系结构301 
19.10　详细的软件设计305 
19.11　系统配置和部署307 
第20章　铁路道口控制系统案例研究309 
20.1　问题描述309 
20.2　结构化建模309 
20.3　用例建模313 
20.4　动态状态机建模315 
20.5　构造对象和类317 
20.6　动态交互建模318 
20.7　设计建模323 
20.8　实时软件设计的性能分析328 
20.9　基于组件的软件体系结构330 
20.10　系统配置和部署334 
第21章　轻轨控制系统案例研究336 
21.1　问题描述336 
21.2　结构化建模337 
21.3　用例建模338 
21.4　动态状态机建模346 
21.5　构造子系统351 
21.6　构造对象和类351 
21.7　动态交互建模354 
21.8　设计建模364 
21.9　子系统综合通信图364 
21.10　分布式轻轨系统设计366 
21.11　基于组件的软件体系结构373 
21.12　系统配置和部署375 
第22章　泵控制系统案例研究377 
22.1　问题描述377 
22.2　结构化建模377 
22.3　用例建模378 
22.4　构造对象和类380 
22.5　动态状态机建模380 
22.6　动态交互建模382 
22.7　设计建模383 
第23章　高速公路收费控制系统案例研究387 
23.1　问题描述387 
23.2　用例建模387 
23.3　软件系统上下文建模389 
23.4　构造对象和类389 
23.5　动态状态机建模390 
23.6　动态交互建模390 
23.7　设计建模392 
附录A　本书使用的约定396 
附录B　软件体系结构模式目录399 
附录C　并发任务伪码模板415 
附录D　教学考虑420 
词汇表422 
参考文献433 
索引439