并發(fā)與實時系統(tǒng)軟件設計

第I部分 概念                  
 第1章 總述                  
 1.1 廣泛的應用程序                  
 1.2 并發(fā)系統(tǒng)                  
 1.3 實時系統(tǒng)                  
 1.4 分布式應用程序                  
 第2章 并發(fā)與實時系統(tǒng)的軟件生命周期問題                  
 2.1 概述                  
 2.2 瀑布生命周期模型                  
 2.3 瀑布模型的限制                  
 2.4 拋棄式原型法                  
 2.5 使用增量式開發(fā)的演化原型法                  
 2.6 將拋棄式原型法與增量式開發(fā)結(jié)合起來                  
 2.7 螺旋模型                  
 2.8 設計確認和驗證                  
 第3章 軟件設計概念                  
 3.1 并發(fā)處理                  
 3.2 并發(fā)處理的環(huán)境                  
 3.3 并發(fā)處理的運行時支持                  
 3.4 信息隱藏                  
 3.5 面向?qū)ο蟮母拍?nbsp;                 
 3.6 有限狀態(tài)機                  
                   
 第II部分 軟件設計方法的研究                  
 第4章 軟件設計方法概述                  
 4.1 概述                  
 4.2 軟件設計術語                  
 4.3 軟件設計方法的演化                  
 4.4 需求與設計之間的界限                  
 4.5 選擇軟件設計方法的標準                  
 4.6 選擇方法的基本原理                  
 4.7 并發(fā)與實時系統(tǒng)的軟件設計策略                  
 4.8 行駛監(jiān)控系統(tǒng)的問題描述                  
 第5章 實時系統(tǒng)的結(jié)構(gòu)化分析與設計                  
 5.1 概述                  
 5.2 基本概念                  
 5.3 表示法                  
 5.4 使用方法的步驟                  
 5.5 設計過程的成果                  
 5.6 行駛監(jiān)控系統(tǒng)案例研究                  
 5.7 方法評估                  
 5.8 擴展與變化                  
 第6章 實時系統(tǒng)設計方法                  
 6.1 概述                  
 6.2 基本概念                  
 6.3 表示法                  
 6.4 使用方法的步驟                  
 6.5 設計過程的成果                  
 6.6 行駛監(jiān)控系統(tǒng)案例研究                  
 6.7 方法評估                  
 6.8 擴展與變化                  
 第7章 Jackson系統(tǒng)開發(fā)                  
 7.1 概述                  
 7.2 基本概念                  
 7.3 表示法                  
 7.4 使用方法的步驟                  
 7.5 設計過程的成果                  
 7.6 行駛監(jiān)控系統(tǒng)案例研究                  
 7.7 方法評估                  
 7.8 擴展與變化                  
 第8章 海軍研究實驗室軟件成本降低方法                  
 8.1 概述                  
 8.2 基本概念                  
 8.3 表示法                  
 8.4 使用方法的步驟                  
 8.5 設計過程的成果                  
 8.6 行駛監(jiān)控系統(tǒng)案例研究                  
 8.7 方法評估                  
 第9章 面向?qū)ο笤O計                  
 9.1 概述                  
 9.2 基本概念                  
 9.3 表示法                  
 9.4 使用方法的步驟                  
 9.5 設計過程的成果                  
 9.6 行駛監(jiān)控系統(tǒng)案例研究                  
 9.7 方法評估                  
 9.8 擴展與變化                  
 第10章 并發(fā)和實時軟件設計方法的比較                  
 10.1 概述                  
 10.2 并發(fā)任務比較                  
 10.3 信息隱藏和對象比較                  
 10.4 有限狀態(tài)機比較                  
 10.5 時間約束                  
 第11章 并發(fā)與實時系統(tǒng)軟件設計性能分析                  
 11.1 概述                  
 11.2 性能模型                  
 11.3 Petri網(wǎng)                  
 11.4 實時調(diào)度理論                  
 11.5 使用事件序列分析進行性能分析                  
 11.6 使用實時調(diào)度理論和事件序列分析進行性能分析                  
                   
 第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章 并發(fā)與實時系統(tǒng)的分析與建模                  
 13.1 概述                  
 13.2 開發(fā)環(huán)境模型                  
 13.3 系統(tǒng)分解為子系統(tǒng)                  
 13.4 行為模型的表示法                  
 13.5 問題域中的建模對象                  
 13.6 問題域中的建模功能                  
 13.7 行為分析                  
 13.8 狀態(tài)依賴行為分析的例子                  
 13.9 非狀態(tài)依賴行為分析                  
 13.10 非狀態(tài)依賴行為分析的例子                  
 13.11 與其他方法的比較                  
 第14章 任務結(jié)構(gòu)化                  
 14.1 概述                  
 14.2 并發(fā)任務結(jié)構(gòu)問題                  
 14.3 任務結(jié)構(gòu)分類                  
 14.4 I/O任務結(jié)構(gòu)標準                  
 14.5 內(nèi)部任務結(jié)構(gòu)標準                  
 14.6 任務內(nèi)聚標準                  
 14.7 任務優(yōu)先級標準                  
 14.8 開發(fā)任務構(gòu)架                  
 14.9 任務通信與同步                  
 14.10 使用任務反向進行設計重構(gòu)                  
 14.11 任務行為規(guī)范                  
 第15章 信息隱藏模塊結(jié)構(gòu)化                  
 15.1 概述                  
 15.2 信息隱藏模塊結(jié)構(gòu)分類                  
 15.3 設備設備模塊                  
 15.4 行為隱藏模塊                  
 15.5 軟件決策模塊                  
 15.6 信息隱藏模塊聚合層次                  
 15.7 設計中的繼承                  
 15.8 信息隱藏模塊的非正式規(guī)范                  
 第16章 任務和信息隱藏模塊視圖的集成                  
 16.1 概述                  
 16.2 異步設備I/O                  
 16.3 輪詢I/O                  
 16.4 內(nèi)部任務和模塊                  
 16.5 對模塊的并發(fā)訪問                  
 16.6 對模塊同步訪問的例子                  
 16.7 資源監(jiān)視任務和設備接口模塊的例子                  
 16.8 軟件構(gòu)架圖的任務行為規(guī)范                  
 第17章 基于Ada的架設計                  
 17.1 將設計映射到目標系統(tǒng)環(huán)境                  
 17.2 Ada支持任務                  
 17.3 對數(shù)據(jù)存儲的同步訪問                  
 17.4 消息通信                  
 17.5 事件緩沖任務                  
 17.6 其他支持任務                   
 17.7 定義任務入口                  
 17.8 包裝任務                  
 17.9 Ada構(gòu)架圖的任務行為規(guī)范                  
 第18章 ADARTS和CORARTS中軟件開發(fā)的后期階段                  
 18.1 定義組件接口                  
 18.2 增量式開發(fā)                  
 第19章 ADARTS和CODARTS設計的性能分析                  
 19.1 概述                  
 19.2 使用事件序列分析進行性能分析的例子                  
 19.3 模擬建模                  
 19.4 使用RTST進行性能分析的例子                  
 19.5 使用RTST和事件序列分析進行性能分析的例子                  
 19.6 設計重構(gòu)                  
 第20章 分布式應用程序的設計                  
 20.1 概述                  
 20.2 分布式處理的概念                  
 20.3 設計分布式應用程序的步驟                  
 20.4 系統(tǒng)分解                  
 20.5 定義子系統(tǒng)接口                  
 20.6 子系統(tǒng)分解為任務                  
 20.7 服務器子系統(tǒng)的設計                  
 20.8 系統(tǒng)配置                  
 第21章 軟件設計方法的發(fā)展趨勢                  
 21.1 折衷的設計方法                  
 21.2 域分析和設計方法                  
 21.3 CASE工具和軟件開發(fā)環(huán)境                  
 21.4 可執(zhí)行規(guī)范與設計                  
 21.5 實時設計的性能分析                  
 21.6 基于知識技術的應用                  
 21.7 正規(guī)方法的應用                  
                   
 第IV部分 案例研究                  
 第22章 行駛監(jiān)控系統(tǒng)案例研究                  
 22.1 開發(fā)環(huán)境和行為模型                  
 22.2 將系統(tǒng)構(gòu)造成多個任務                  
 22.3 將系統(tǒng)構(gòu)造成多個模塊                  
 22.4 集成任務與模塊視圖                  
 22.5 開發(fā)基于Ada的構(gòu)架設計                  
 22.6 定義系統(tǒng)了集                  
 第23章 機器人控制器案例研究                  
 23.1 概述                  
 23.2 開發(fā)RTSA規(guī)范                  
 23.3 將系統(tǒng)構(gòu)造成多個任務                  
 23.4 將系統(tǒng)構(gòu)造成多個模塊                  
 23.5 集成任務與模塊視圖                  
 23.6 開發(fā)基于Ada的構(gòu)架設計                  
 23.7 機器人控制器系統(tǒng)中的實時調(diào)度                  
 第24章 電梯控制系統(tǒng)案例研究                  
 24.1 概述                  
 24.2 開發(fā)環(huán)境和行為模型                  
 24.3 將系統(tǒng)構(gòu)造成多個任務                  
 24.4 將系統(tǒng)構(gòu)造成多個模塊                  
 24.5 集成任務與模塊視圖                  
 24.6 開發(fā)基于Ada的構(gòu)架設計                  
 24.7 分布式電梯控制系統(tǒng)                  
 24.8 非分布式電梯控制系統(tǒng)的性能分析                  
 24.9 分布式電梯控制系統(tǒng)的性能分析                  
 第25章 分布式工廠自動化系統(tǒng)案例研究                  
 25.1 工廠自動化系統(tǒng)問題描述                  
 25.2 系統(tǒng)分解                  
 25.3 系統(tǒng)構(gòu)架                  
 25.4 裝配線工作站控制器子系統(tǒng)設計                  
 25.5 警報處理子系統(tǒng)設計                  
 25.6 系統(tǒng)配置                  
 25.7 實時調(diào)度                  
                   
 附錄 教學問題                  
 A.1 先決條件                  
 A.2 推薦作為理論課程                  
 A.3 推薦作為進修課程                  
 A.4 使用實例                  
 A.5 設計練習                  
 術語表                  
 參考文獻