GoA4級(jí)全自動(dòng)運(yùn)行系統(tǒng)駕駛模式切換的安全性建模
所屬分類：技術(shù)論文
上傳者：zhoubin333
文檔大小：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ù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 国产精选之刘婷野战| 日韩午夜福利无码专区a| 国产乱子伦视频在线观看| 99久久精彩视频| 日本不卡免费新一二三区| 亚洲欧美中文字幕| 精品熟人妻一区二区三区四区不卡| 国产真实交换多p免视频| jux434被公每天侵犯的我| 日本成本人三级在线观看2018| 亚洲最大视频网| 精品国产三级a∨在线观看| 国产大秀视频在线一区二区| 7777久久亚洲中文字幕蜜桃| 少妇高潮无套内谢| 久久国产色AV免费观看| 欧美手机在线视频| 免费a级毛片无码| 色欲色av免费观看| 国产特级毛片aaaaaaa高清| aaaa级毛片| 成人片在线观看地址KK4444| 久久精品国产亚洲AV麻豆不卡| 欧美精品亚洲精品日韩专区va | 一看就湿的性行为描写大尺度| 日韩一区二区三区电影 | 亚洲欧美日韩一区在线观看| 精品人人妻人人澡人人爽人人| 国产又大又粗又长免费视频| 女人隐私秘视频黄www免费| 天堂资源bt在线官网| 中出视频在线观看| 日本欧美中文字幕| 亚洲av成本人无码网站| 欧美理论电影在线| 人人爽人人爽人人片a免费| 精品福利一区二区免费视频| 国产亚洲精品国产福利在线观看| www视频免费看| 在线天堂新版在线观看| √最新版天堂资源网在线|