列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗證

定　價：￥30.00

作　者：	唐濤，徐田華，趙林著
出版社：	中國鐵道出版社
叢編項：
標(biāo)　簽：	鐵路運(yùn)輸

購買這本書可以去

ISBN：	9787113114602	出版時間：	2010-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	206	字?jǐn)?shù)：

內(nèi)容簡介

　　《列車運(yùn)行控制系統(tǒng)規(guī)范建模與驗證》主要介紹了實(shí)現(xiàn)列控系統(tǒng)需求規(guī)范的嚴(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)格建模與驗證體系、模型檢驗相關(guān)基礎(chǔ)知識、需求規(guī)范的管理和追蹤、列控領(lǐng)域的UML建模以及針對CTCS－3系統(tǒng)規(guī)范展開的實(shí)例分析?！读熊囘\(yùn)行控制系統(tǒng)規(guī)范建模與驗證》內(nèi)容豐富，注重背景，可以作為研究生、教師以及軌道交通控制領(lǐng)域相關(guān)的科研人員了解列控系統(tǒng)規(guī)范的建模與驗證的基本思想和方法的參考書。

作者簡介

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

圖書目錄

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