無(wú)人駕駛汽車決策系統(tǒng)的規(guī)則建模與代碼生成方法.pdf

1、無(wú)人駕駛汽車是信息技術(shù)高度發(fā)展的產(chǎn)物，決策子系統(tǒng)是無(wú)人車系統(tǒng)的核心模塊，負(fù)責(zé)根據(jù)環(huán)境信息和車況信息綜合進(jìn)行判斷，向無(wú)人車發(fā)出動(dòng)作指令，充當(dāng)著指揮中心的角色。由于城市道路交通的高度復(fù)雜性，無(wú)人車決策子系統(tǒng)在設(shè)計(jì)過(guò)程中涉及到大量需要處理的信號(hào)，代碼規(guī)模日益龐大，系統(tǒng)的可維護(hù)性和可拓展性面臨重要的挑戰(zhàn)，同時(shí)，由于決策規(guī)則的復(fù)雜性，系統(tǒng)設(shè)計(jì)也難免出現(xiàn)欠考慮的地方，留下了安全隱患。
　　本文針對(duì)無(wú)人車決策子系統(tǒng)在開(kāi)發(fā)過(guò)程中面臨的可維護(hù)性和安

2、全性不足的難題，結(jié)合當(dāng)前軟件工程領(lǐng)域成熟的軟件開(kāi)發(fā)方法，提出了一種基于代碼自動(dòng)生成和模型檢驗(yàn)技術(shù)的決策軟件自動(dòng)化開(kāi)發(fā)框架。該框架運(yùn)用代碼自動(dòng)生成技術(shù)，使開(kāi)發(fā)人員更專注于設(shè)計(jì)而不是實(shí)現(xiàn)，減少人工編碼的工作量，提高代碼的一致性，解決軟件可維護(hù)性不足的難題。
　　在此框架的基礎(chǔ)上，本文重點(diǎn)研究了針對(duì)決策子系統(tǒng)的規(guī)則建模與代碼自動(dòng)生成方法，設(shè)計(jì)了一種用于描述規(guī)則的中間語(yǔ)言，并設(shè)計(jì)了該中間語(yǔ)言到 C語(yǔ)言的轉(zhuǎn)換算法，該算法可以實(shí)現(xiàn)了中間碼到