商品簡介
本書將實時系統、實時統一建模語言、實時系統的統一開發過程和Rational Rose RealTime建模環境有機地結合起來，以案例為基礎，系統地介紹了實時系統的設計與實現。全書分為3部分，第1部分為基礎建模環境。第2部分建模篇，結合實時統一建模語言和Rational Rose ReaTime建模工具，介紹了實時系統的需求、系統設計和實現與部署。第3部分為案例篇，分析了4個典型的實時系統案例；紙牌遊戲、咖啡機控系統、ATM自動取款機控制系統和電梯控制的設計與實現。案例是針對不同層次的實時系統開發人員進行設計的，同時也涵蓋了實時系統設計的主要特性。
本書附帶的相關模型及源代碼請到http：//www.fecit.com.cn“下載專區”下載。
本書可供實時系統的分析人員、架構人員、系統設計人員和軟件工程人員參考，也可以作為大專院校和培訓機構的計算機及電子工程相關專業的教材。
目次
第1部分 基礎篇
第1章 實時系統概述
1.1 實時系統的基本概念
1.1.1 什麼是實時系統
1.1.2 實時系統的一些重要概念
1.2 典型的實時系統——嵌入式實時軟件
1.2.1 嵌入式實時操作系統
1.2.2 嵌入式實時支撐軟件
1.2.3 嵌入式實時應用軟件
1.2.4 嵌入式實時系統開發工具
1.3 實時系統的設計方法與技術
1.3.1 實時系統的主要抽象層次
1.3.2 實時系統設計的一些考慮
1.3.3 典型的實時系統模型
1.3.4 實時系統的設計方法學
1.3.5 統一建模語言
1.3.6 基於UML的實時系統開發概述
1.4 實時系統的統一開發過程模型
1.4.1 4種典型的實時系統開發模型
1.4.2 實時系統的統一開發過程簡介
1.4.3 開發過程中的靜態結構
1.4.4 實時系統開發的核心工作流
1.5 本書案例簡介
1.5.1 紙牌遊戲
1.5.2 咖啡機控制系統
1.5.3 AM自動取款機控制系統
1.5.4 電梯控制系統
第2章 實時統一建模語言
2.1 統一建模語言
2.2 實時統一建模語言模型的基本特性
2.3 基本建模元素
2.3.1 基本建模元素概述
2.3.2 基本建模元素
2.4 關係
2.4.1 關聯
2.4.2 實現
2.4.3 泛化
2.4.4 依賴
2.5 圖
2.5.1 概述
2.5.2 用例圖
2.5.3 類圖
2.5.4 狀態圖
2.5.5 協作圖
2.5.6 C印sule結構圖
2.5.7 順序圖
2.5.8 組件圖
2.5.9 部署圖
第3章 實時對象約束語言
3.1 對象約束語言
3.1.1 何時使用對象約束語言
3.1.2 同UML元模型的關係
3.1.3 基本值類型
3.1.4 對象和屬性
3.1.5 集合操作
3.1.6 0cL中的消息
3.2 實時對象約束語言
3.2.1 0CL-RT事件元模型
3.2.2 OcL.RT約束表達式子句
3.2.3 不變量、前置和后置條件、動作子句
第4章 Rational Rose RealTime建模環境
第2部分 建模篇
第5章 實時系統的需求分析與用例建模
第6章 實時系統的靜建模
第7章 實時系統的動態建模
第8章 UML的實現與部署
第3部分 案例篇
第9章 紙牌遊戲
第10章 咖啡機控制系統
第11章 ATM自動取款機系統
第12章 電梯控制系統
