登入  |  English
感謝您對「自由軟體鑄造場」的支持與愛護,十多年來「自由軟體鑄造場」受中央研究院支持,並在資訊科學研究所以及資訊科技創新研究中心執行,現已完成階段性的任務。 原網站預計持續維運至 2021年底,網站內容基本上不會再更動。本網站由 Denny Huang 備份封存。
也紀念我們永遠的朋友 李士傑先生(Shih-Chieh Ilya Li)。

什麼是資源表列?

catalog-iconOpenFoundry 蒐集與自由軟體相關的連結資訊並將其分類,供您依此資源目錄架構,循序深入自由軟體豐富的應用世界。若此分類下發現有任何問題及建議,非常歡迎您協助我們改進,請寄至[email protected]

Model-Driven Hybrid and Embedded Software for Automotive Applications

Rate this listing
0 vote

此篇論文再探討複雜大規模嵌入式系統(complex large scale embedded systems)建模的顯著結果、構成的結果、分析、模型驗證(model checking)與安全特質(safety properties)驗證,另外還有一個為恆速操縱器而設計的汽車模型函式庫 。

適用平台:不適用;原始碼授權類型:不適用

資料來源:https://www.cse.wustl.edu/~cdgill/RTAS04/modes_ucb.pdf