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