編輯推薦
唐濤、趙林、徐田華、呂繼東、牛儒等編著的這本《基於模型的列車運行控制繫統設計與驗證方法》針對軌道交通列控繫統的發展歷程和特點、傳統開發方法面臨的挑戰,分析總結了基於模型的設計與驗證方法的優勢。在需求層面,針對列控繫統的信息-物理融合屬性進行了建模和形式化驗證,使用的模型包括擴展UML模型、混合通信進程(HCSP)模型以及混成自動機模型。並進行了繫統安全分析,論述了經典安全分析方法和應用,重點介紹基於模型的安全分析技術。在設計構造環節,論述了基於模型的列控繫統軟件設計方法,基於SCADE和基於DSL-R的開發工具和實例。對於列控繫統測試,介紹了基於模型的測試用例自動生成方法,結合觀測自動機理論進行了列控繫統車載設備測試用例自動生成,並搭建了適合於CTCS-3級列控繫統車載設備的互聯互通測試平臺。作為運行階段的安全保障技術,主要介紹運行時驗證技術,其核心是監控需求的精確表達和監控器的生成。
內容簡介
唐濤、趙林、徐田華、呂繼東、牛儒等編著的這本《基於模型的列車運行控制繫統設計與驗證方法》主要介紹基於模型的列車運行控制繫統設計與驗證方法,著重闡述設計與驗證方法的原理、實現技術以及應用。全書共六章,主要內容包括:列控繫統需求的建模與驗證,列控繫統的安全分析,基於模型的列控繫統軟件設計,基於模型的測試,列控繫統的運行時驗證。
《基於模型的列車運行控制繫統設計與驗證方法》可以作為軌道交通控制專業研究生的學習用書,也可以供有關工程技術人員參考。