123,123,123

內(nèi)容簡(jiǎn)介

　　《列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證》主要介紹了實(shí)現(xiàn)列控系統(tǒng)需求規(guī)范的嚴(yán)格建模與驗(yàn)證所必須的理論、方法和關(guān)鍵技術(shù)，內(nèi)容包括現(xiàn)代列車運(yùn)行控制系統(tǒng)的特點(diǎn)和相關(guān)標(biāo)準(zhǔn)規(guī)范、系統(tǒng)規(guī)范的嚴(yán)格建模與驗(yàn)證體系、模型檢驗(yàn)相關(guān)基礎(chǔ)知識(shí)、需求規(guī)范的管理和追蹤、列控領(lǐng)域的UML建模以及針對(duì)CTCS－3系統(tǒng)規(guī)范展開(kāi)的實(shí)例分析?！读熊囘\(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證》內(nèi)容豐富，注重背景，可以作為研究生、教師以及軌道交通控制領(lǐng)域相關(guān)的科研人員了解列控系統(tǒng)規(guī)范的建模與驗(yàn)證的基本思想和方法的參考書(shū)。

作者簡(jiǎn)介

暫缺《列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗(yàn)證》作者簡(jiǎn)介

圖書(shū)目錄

第一章　概述
　第一節(jié)　軌道交通列控系統(tǒng)發(fā)展趨勢(shì)
　第二節(jié)　列控系統(tǒng)規(guī)范驗(yàn)證的意義
　第三節(jié)　列控系統(tǒng)規(guī)范的建模驗(yàn)證方法
　第四節(jié)　列控系統(tǒng)規(guī)范的嚴(yán)格建模與驗(yàn)證體系
　本章參考文獻(xiàn)
第二章系統(tǒng)需求規(guī)范建模與驗(yàn)證基礎(chǔ)
第一節(jié)　系統(tǒng)需求規(guī)范
第二節(jié)　驗(yàn)證和確認(rèn)的概念
第三節(jié)　系統(tǒng)開(kāi)發(fā)模型
第四節(jié)　UML基礎(chǔ)知識(shí)
第五節(jié)　符號(hào)模型檢驗(yàn)
本章參考文獻(xiàn)
第三章列控系統(tǒng)的需求規(guī)范驗(yàn)證內(nèi)容與體系
　第一節(jié)　列控系統(tǒng)需求規(guī)范驗(yàn)證內(nèi)容
　第二節(jié)　列控系統(tǒng)需求規(guī)范驗(yàn)證方法體系
　第三節(jié)　列控系統(tǒng)需求規(guī)范驗(yàn)證流程
　本章參考文獻(xiàn)
第四章　需求規(guī)范的管理
　第一節(jié)　需求規(guī)范管理的概念與意義
　第二節(jié)　需求規(guī)范管理的任務(wù)
　第三節(jié)　需求規(guī)范管理流程
　本章參考文獻(xiàn)
第五章　列控系統(tǒng)的UML建模
　第一節(jié)　列控系統(tǒng)UML模型庫(kù)
　第二節(jié)　列控系統(tǒng)規(guī)范的UML模型
　本章參考文獻(xiàn)
第六章　列控系統(tǒng)的形式化驗(yàn)證
　第一節(jié)　列控系統(tǒng)規(guī)范UML模型到NuSMV的轉(zhuǎn)換
　第二節(jié)　列控系統(tǒng)模型的約簡(jiǎn)
　第三節(jié)　列控系統(tǒng)規(guī)范驗(yàn)證結(jié)果分析
　本章參考文獻(xiàn)
第七章　實(shí)例分析
第一節(jié)　背景介紹
第二節(jié)　需求規(guī)范管理
第三節(jié)　CTCS一3級(jí)系統(tǒng)需求規(guī)范的UML建模
第四節(jié)　NuSMV轉(zhuǎn)換
第五節(jié)　驗(yàn)證結(jié)果分析
本章參考文獻(xiàn)
附錄A　NuSMV系統(tǒng)簡(jiǎn)介
附錄B　系統(tǒng)開(kāi)發(fā)模型介紹