列車運行控制系統實時性的建模與驗證

內容簡介

《列車運行控制系統實時性的建模與驗證》系統地介紹了列車運行控制系統實時性的特點，以及建模與驗證方法。重點闡述了基於UML、CSP、時間自動機、著色Petri網、馬戰凳廈爾可夫鏈等理論和方法的列控系統，探討了實現列控系統實時陛建雄探埋舉模與驗證所必須的理論與關鍵技術。在套用方面，介紹了支持相關研究方法的技術手段及其算法。

《列車運行控制系統實時性的建模與驗證》適合作為高等院校鐵路信號及相關專業的教學參考用書，也可供相關領域研究人員參考。

圖書目錄

第1章列車運行控制系統實時性概述

1．1 列車運行控制系統簡介

1．1．1 列車運行控制系統的現狀與發閥訂展

1．1．2 列車運行控制系統的組成

1．1．3 列車運行控制系統的特點

1．2 列車運行控制系統的實時性要求

1．3 國內外研究漏歸勸現狀

1．4 列車運行控制系統實時性的建模與驗證方法

第2章基於UML的列控系統實時性研究

2．1 UML概述

2．1．1 UML的定義

2．1．2 UML的組成

2．1．3 UML建模機制

2．2 UML擴展機制

2．2．1 約束

2．2．2 標記值

2．2．3 構造型

2．3 列控系統的UML模型

2．3．1 用例圖

2．3．2 類圖

2．3．3 活動圖

2．3．4 部署圖

2．3．5 序列圖

2．3．6 狀態圖

2．4 基於UML的模型轉換方法

2．4．1 模型轉換的腿戰她幾概念

2．4．2 UML元模型

第3章基於UML與CSP的實時系統建模與分析

3．1 CSP相關理論

3．1．1 CSP的語法和語義

3．1．2 CSP的實時性擴展

3．2 UML到CSP的轉換規則

3．2．1 活動圖轉換規則

3．2．拳剃臭2 狀態圖轉換規則

3．3 模型轉換中特性的保持與轉換規則的證明

3．3．1 模型轉換中特性的保持

3．3．2 模型轉換規則的證明

3．4 UML轉換至CSP的列控系統實時性分析實例

第4章基於時間自動機的系統建模與驗證

4．1 時間自動機

4．1．1 時間約束和時間解釋

4．1．2 時間語言

4．1．3 時間自動機的語義

4．1．4 時間自動機的積

4．2 基於時間自動機的形式化拜婆戀建模

4．3 模型檢驗方法驗證實時系統

4．3．1 時序邏輯

4．3．2 時序邏輯的時間化

4．3．3 驗證流程

4．4 定理證明方法驗證實時系統

……

列車運行控制系統實時性的建模與驗證

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條