GoA4級(jí)全自動(dòng)運(yùn)行系統(tǒng)駕駛模式切換的安全性建模
所屬分類：技術(shù)論文
上傳者：zhoubin333
文檔大?。?span>590 K
標(biāo)簽： 駕駛模式 全自動(dòng)運(yùn)行系統(tǒng) UPPAAL
所需積分：0分積分不夠怎么辦,？
文檔介紹： 為驗(yàn)證具體場(chǎng)景下GoA4級(jí)全自動(dòng)運(yùn)行系統(tǒng)駕駛模式是否符合對(duì)應(yīng)技術(shù)規(guī)范，提出一種基于時(shí)間自動(dòng)機(jī)的形式化建模與驗(yàn)證方法。GoA4級(jí)的駕駛模式是系統(tǒng)自動(dòng)切換,，且增加了自動(dòng)實(shí)現(xiàn)蠕動(dòng)模式和遠(yuǎn)程限制監(jiān)督模式切換,。選取全自動(dòng)運(yùn)行模式,、蠕動(dòng)模式和遠(yuǎn)程限制監(jiān)督模式的相關(guān)切換作為建模對(duì)象,，提取全自動(dòng)運(yùn)行系統(tǒng)規(guī)范中的功能需求，生成對(duì)應(yīng)流程的消息順序圖,，并對(duì)模塊間的交互信息進(jìn)行分析,；然后，以基于時(shí)間自動(dòng)機(jī)的數(shù)學(xué)理論為基礎(chǔ),，采用時(shí)間自動(dòng)機(jī)建模方法對(duì)RM模式向FAM模式切換,、FAM模式向CAM模式切換、FAM模式向RRM模式切換進(jìn)行建模,；最后,，采用巴科斯范式(BNF)語(yǔ)法，達(dá)到了對(duì)其安全性,、受限活性,、實(shí)時(shí)性進(jìn)行驗(yàn)證的結(jié)果。
現(xiàn)在下載
VIP會(huì)員,，AET專家下載不扣分,；重復(fù)下載不扣分，本人上傳資源不扣分,。