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

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