并发与实时系统软件设计

第I部分 概念                  
 第1章 总述                  
 1.1 广泛的应用程序                  
 1.2 并发系统                  
 1.3 实时系统                  
 1.4 分布式应用程序                  
 第2章 并发与实时系统的软件生命周期问题                  
 2.1 概述                  
 2.2 瀑布生命周期模型                  
 2.3 瀑布模型的限制                  
 2.4 抛弃式原型法                  
 2.5 使用增量式开发的演化原型法                  
 2.6 将抛弃式原型法与增量式开发结合起来                  
 2.7 螺旋模型                  
 2.8 设计确认和验证                  
 第3章 软件设计概念                  
 3.1 并发处理                  
 3.2 并发处理的环境                  
 3.3 并发处理的运行时支持                  
 3.4 信息隐藏                  
 3.5 面向对象的概念                  
 3.6 有限状态机                  
                   
 第II部分 软件设计方法的研究                  
 第4章 软件设计方法概述                  
 4.1 概述                  
 4.2 软件设计术语                  
 4.3 软件设计方法的演化                  
 4.4 需求与设计之间的界限                  
 4.5 选择软件设计方法的标准                  
 4.6 选择方法的基本原理                  
 4.7 并发与实时系统的软件设计策略                  
 4.8 行驶监控系统的问题描述                  
 第5章 实时系统的结构化分析与设计                  
 5.1 概述                  
 5.2 基本概念                  
 5.3 表示法                  
 5.4 使用方法的步骤                  
 5.5 设计过程的成果                  
 5.6 行驶监控系统案例研究                  
 5.7 方法评估                  
 5.8 扩展与变化                  
 第6章 实时系统设计方法                  
 6.1 概述                  
 6.2 基本概念                  
 6.3 表示法                  
 6.4 使用方法的步骤                  
 6.5 设计过程的成果                  
 6.6 行驶监控系统案例研究                  
 6.7 方法评估                  
 6.8 扩展与变化                  
 第7章 Jackson系统开发                  
 7.1 概述                  
 7.2 基本概念                  
 7.3 表示法                  
 7.4 使用方法的步骤                  
 7.5 设计过程的成果                  
 7.6 行驶监控系统案例研究                  
 7.7 方法评估                  
 7.8 扩展与变化                  
 第8章 海军研究实验室软件成本降低方法                  
 8.1 概述                  
 8.2 基本概念                  
 8.3 表示法                  
 8.4 使用方法的步骤                  
 8.5 设计过程的成果                  
 8.6 行驶监控系统案例研究                  
 8.7 方法评估                  
 第9章 面向对象设计                  
 9.1 概述                  
 9.2 基本概念                  
 9.3 表示法                  
 9.4 使用方法的步骤                  
 9.5 设计过程的成果                  
 9.6 行驶监控系统案例研究                  
 9.7 方法评估                  
 9.8 扩展与变化                  
 第10章 并发和实时软件设计方法的比较                  
 10.1 概述                  
 10.2 并发任务比较                  
 10.3 信息隐藏和对象比较                  
 10.4 有限状态机比较                  
 10.5 时间约束                  
 第11章 并发与实时系统软件设计性能分析                  
 11.1 概述                  
 11.2 性能模型                  
 11.3 Petri网                  
 11.4 实时调度理论                  
 11.5 使用事件序列分析进行性能分析                  
 11.6 使用实时调度理论和事件序列分析进行性能分析                  
                   
 第III部分 ADARTS和CODARTS                  
 第12章 ADARTS和CODARTS的概览                  
 12.1 概述                  
 12.2 ADARTS和CODARTS的起源                  
 12.3 ADARTS和CODARTS的特性                  
 12.4 ADARTS和CODARTS的概念基础                  
 12.5 概念的集成                  
 12.6 使用ADARTS的步骤                  
 12.7 使用CODARTS的步骤                  
 12.8 ADARTS和CODARTS表示法                  
 第13章 并发与实时系统的分析与建模                  
 13.1 概述                  
 13.2 开发环境模型                  
 13.3 系统分解为子系统                  
 13.4 行为模型的表示法                  
 13.5 问题域中的建模对象                  
 13.6 问题域中的建模功能                  
 13.7 行为分析                  
 13.8 状态依赖行为分析的例子                  
 13.9 非状态依赖行为分析                  
 13.10 非状态依赖行为分析的例子                  
 13.11 与其他方法的比较                  
 第14章 任务结构化                  
 14.1 概述                  
 14.2 并发任务结构问题                  
 14.3 任务结构分类                  
 14.4 I/O任务结构标准                  
 14.5 内部任务结构标准                  
 14.6 任务内聚标准                  
 14.7 任务优先级标准                  
 14.8 开发任务构架                  
 14.9 任务通信与同步                  
 14.10 使用任务反向进行设计重构                  
 14.11 任务行为规范                  
 第15章 信息隐藏模块结构化                  
 15.1 概述                  
 15.2 信息隐藏模块结构分类                  
 15.3 设备设备模块                  
 15.4 行为隐藏模块                  
 15.5 软件决策模块                  
 15.6 信息隐藏模块聚合层次                  
 15.7 设计中的继承                  
 15.8 信息隐藏模块的非正式规范                  
 第16章 任务和信息隐藏模块视图的集成                  
 16.1 概述                  
 16.2 异步设备I/O                  
 16.3 轮询I/O                  
 16.4 内部任务和模块                  
 16.5 对模块的并发访问                  
 16.6 对模块同步访问的例子                  
 16.7 资源监视任务和设备接口模块的例子                  
 16.8 软件构架图的任务行为规范                  
 第17章 基于Ada的架设计                  
 17.1 将设计映射到目标系统环境                  
 17.2 Ada支持任务                  
 17.3 对数据存储的同步访问                  
 17.4 消息通信                  
 17.5 事件缓冲任务                  
 17.6 其他支持任务                   
 17.7 定义任务入口                  
 17.8 包装任务                  
 17.9 Ada构架图的任务行为规范                  
 第18章 ADARTS和CORARTS中软件开发的后期阶段                  
 18.1 定义组件接口                  
 18.2 增量式开发                  
 第19章 ADARTS和CODARTS设计的性能分析                  
 19.1 概述                  
 19.2 使用事件序列分析进行性能分析的例子                  
 19.3 模拟建模                  
 19.4 使用RTST进行性能分析的例子                  
 19.5 使用RTST和事件序列分析进行性能分析的例子                  
 19.6 设计重构                  
 第20章 分布式应用程序的设计                  
 20.1 概述                  
 20.2 分布式处理的概念                  
 20.3 设计分布式应用程序的步骤                  
 20.4 系统分解                  
 20.5 定义子系统接口                  
 20.6 子系统分解为任务                  
 20.7 服务器子系统的设计                  
 20.8 系统配置                  
 第21章 软件设计方法的发展趋势                  
 21.1 折衷的设计方法                  
 21.2 域分析和设计方法                  
 21.3 CASE工具和软件开发环境                  
 21.4 可执行规范与设计                  
 21.5 实时设计的性能分析                  
 21.6 基于知识技术的应用                  
 21.7 正规方法的应用                  
                   
 第IV部分 案例研究                  
 第22章 行驶监控系统案例研究                  
 22.1 开发环境和行为模型                  
 22.2 将系统构造成多个任务                  
 22.3 将系统构造成多个模块                  
 22.4 集成任务与模块视图                  
 22.5 开发基于Ada的构架设计                  
 22.6 定义系统了集                  
 第23章 机器人控制器案例研究                  
 23.1 概述                  
 23.2 开发RTSA规范                  
 23.3 将系统构造成多个任务                  
 23.4 将系统构造成多个模块                  
 23.5 集成任务与模块视图                  
 23.6 开发基于Ada的构架设计                  
 23.7 机器人控制器系统中的实时调度                  
 第24章 电梯控制系统案例研究                  
 24.1 概述                  
 24.2 开发环境和行为模型                  
 24.3 将系统构造成多个任务                  
 24.4 将系统构造成多个模块                  
 24.5 集成任务与模块视图                  
 24.6 开发基于Ada的构架设计                  
 24.7 分布式电梯控制系统                  
 24.8 非分布式电梯控制系统的性能分析                  
 24.9 分布式电梯控制系统的性能分析                  
 第25章 分布式工厂自动化系统案例研究                  
 25.1 工厂自动化系统问题描述                  
 25.2 系统分解                  
 25.3 系统构架                  
 25.4 装配线工作站控制器子系统设计                  
 25.5 警报处理子系统设计                  
 25.6 系统配置                  
 25.7 实时调度                  
                   
 附录 教学问题                  
 A.1 先决条件                  
 A.2 推荐作为理论课程                  
 A.3 推荐作为进修课程                  
 A.4 使用实例                  
 A.5 设计练习                  
 术语表                  
 参考文献