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

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