ansys中的步長控制的案例
嵌入式系統 | Ansys SCADE在軌交列車控制系統中的應用
上期，我們對Ansys SCADE在航空電傳飛控系統中的應用做了詳細分享。本期，將進一步拓展Ansys SCADE在軌交列車控制系統中的應用，全文通過首先介紹OpenETCS項目的背景及發展，然后描述OpenETCS項目中工作包的劃分和工作流的概況，進而解釋SCADE為什么能在OpenETCS項目的工具選型中脫穎而出。最后介紹Systerel公司是如何使用S3(Systerel Smart Solver)引擎對SCADE進行形式化驗證的。
1
OpenETCS誕生背景
過去150年來，歐洲鐵路分別在各個國界內各自發展，形成了各種不同的信號和列車控制系統，這嚴重阻礙了跨境交通。歐盟決定改善鐵路部門的互操作性，因此提出了歐洲列車控制系統(ETCS：European Train Control System)，它作為歐洲鐵路交通管理系統(ERTM: European Rail Traffic Management System)的一部分，旨在取代幾乎所有歐洲國家遺留的列車控制系統，統一歐洲鐵路網，允許列車運營商使用配備單一信號系統的鐵路車輛在整個歐洲運行。
圖表1: ETCS歐洲鐵路交通管理系統的現狀與未來發展預期
ETCS由基礎設施組件和車載單元 (OBU: On board Unit) 組成。
展開 【Ansys線上直播回看】HFSS中的網格技術更新與剖分控制技巧
▼▼▼2020 Ansys網絡研討會有獎反饋
▼▼▼“更多Ansys近期專題研討會” - 歡迎掃碼報名參加！
『或點擊此處進入報名通道』
