| GoA4級全自動運行系統駕駛模式切換的安全性建模 | |
| 所屬分類：技術論文 | |
| 上傳者：zhoubin333 | |
| 文檔大小：590 K | |
| 標簽： 駕駛模式 全自動運行系統 UPPAAL | |
| 所需積分：0分積分不夠怎么辦？ | |
| 文檔介紹： 為驗證具體場景下GoA4級全自動運行系統駕駛模式是否符合對應技術規范，提出一種基于時間自動機的形式化建模與驗證方法。GoA4級的駕駛模式是系統自動切換，且增加了自動實現蠕動模式和遠程限制監督模式切換。選取全自動運行模式、蠕動模式和遠程限制監督模式的相關切換作為建模對象，提取全自動運行系統規范中的功能需求，生成對應流程的消息順序圖，并對模塊間的交互信息進行分析；然后，以基于時間自動機的數學理論為基礎，采用時間自動機建模方法對RM模式向FAM模式切換、FAM模式向CAM模式切換、FAM模式向RRM模式切換進行建模；最后，采用巴科斯范式(BNF)語法，達到了對其安全性、受限活性、實時性進行驗證的結果。 | |
| 現在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統工程研究所版權所有 京ICP備10017138號-2