版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、目前,車載系統(tǒng)主要采用電子控制單元(ECUs)來實(shí)現(xiàn)X-by-wire技術(shù)。通過X-by-wire技術(shù),使不能機(jī)械地被實(shí)現(xiàn)的功能或需求變?yōu)榭赡?。一般來說,在一個(gè)汽車系統(tǒng)中的ECU按照通信協(xié)議相互通信,通過一個(gè)或多個(gè)總線。由于通信協(xié)議極大地影響汽車系統(tǒng)的性能,協(xié)議能夠支持高傳輸速率和可靠性的要求。最近,FlexRay通信協(xié)議被視為實(shí)際標(biāo)準(zhǔn)的汽車通信協(xié)議。FlexRay通信協(xié)議支持高傳輸速率可達(dá)10Mbs,同時(shí)仍保持可靠性和容錯(cuò)性。這些特性
2、使FlexRay特別適用于安全關(guān)鍵系統(tǒng)。另一方面,汽車系統(tǒng)的測(cè)試過程既費(fèi)時(shí)又復(fù)雜的。在工業(yè)領(lǐng)域,應(yīng)準(zhǔn)備實(shí)現(xiàn)通信協(xié)議的設(shè)備需測(cè)試應(yīng)用程序在ECUs上執(zhí)行,連接ECUs和協(xié)議控制設(shè)備,形成一個(gè)測(cè)試環(huán)境。從以前的測(cè)試的數(shù)據(jù)支持進(jìn)行測(cè)試,專注于特定的節(jié)點(diǎn)或數(shù)據(jù)傳輸。由于更高的要求,導(dǎo)致復(fù)雜的功能,因此需要更多的ECU,并且測(cè)試過程中伴隨著大量的設(shè)備和高財(cái)務(wù)成本使測(cè)試變得更加困難。
本文提出了一個(gè)框架驗(yàn)證FlexRay車載系統(tǒng)的設(shè)計(jì)模型
3、。該框架基于UPPAAL,它是一個(gè)時(shí)間自動(dòng)機(jī)模型檢查器為時(shí)間相關(guān)的行為建模。通過該框架驗(yàn)證設(shè)計(jì)模型,在設(shè)計(jì)階段開發(fā)人員用模型檢驗(yàn)技術(shù)可以更好的機(jī)會(huì)發(fā)現(xiàn)缺陷。這樣做可以減少系統(tǒng)的開發(fā)的成本,同時(shí)提高應(yīng)用程序的質(zhì)量。類似于設(shè)備為基礎(chǔ)的測(cè)試,UPPAAL框架由一個(gè)FlexRay模型和應(yīng)用模型組成。前者代表的FlexRay設(shè)備,后者代表的ECU執(zhí)行的應(yīng)用程序。UPPAAL只提供了應(yīng)用通道的同步方法,因此FlexRay模型和應(yīng)用模型必須進(jìn)行特殊處
4、理?;贔lexRay規(guī)格書,對(duì)其進(jìn)行三步抽象最終建立FlexRay模型。FlexRay模型還提供了通信和訪問應(yīng)用模型之間的參數(shù)和接口。應(yīng)用模型只需要按照這些參數(shù)和接口,與FlexRay模型合作為車載系統(tǒng)的設(shè)計(jì)模型。為了評(píng)估框架,進(jìn)行了如下實(shí)驗(yàn):(1)應(yīng)用模型基本行為的測(cè)試是為了檢查FlexRay模型的有效性,(2)建立一個(gè)簡(jiǎn)單的應(yīng)用驗(yàn)證系統(tǒng)的響應(yīng)時(shí)間,通過使用觀測(cè)器模型進(jìn)行測(cè)試(3)介紹了簡(jiǎn)化的自適應(yīng)巡航控制系統(tǒng),為了顯示了可行性通過
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于AUTOSAR的FlexRay總線通信協(xié)議的研究與實(shí)現(xiàn).pdf
- FlexRay網(wǎng)絡(luò)通信協(xié)議在車載系統(tǒng)中的應(yīng)用與研究.pdf
- 基于flexray通信協(xié)議的汽車線控轉(zhuǎn)向控制器的研究
- 基于FLEXRAY通信協(xié)議的汽車線控轉(zhuǎn)向控制器的研究.pdf
- 串口通信協(xié)議
- usb通信協(xié)議
- 量子通信協(xié)議研究.pdf
- 通信協(xié)議格式.xls
- 通信協(xié)議格式.xls
- 工控通信協(xié)議分析
- modbus通信協(xié)議教程
- modbus通信協(xié)議教程
- 專用短程通信協(xié)議的研究.pdf
- ccsds空間通信協(xié)議及其與互聯(lián)網(wǎng)通信協(xié)議的比較
- BCM通信協(xié)議棧設(shè)計(jì).pdf
- 多方量子通信協(xié)議研究.pdf
- 通信協(xié)議的實(shí)現(xiàn)與研究.pdf
- 實(shí)驗(yàn)八 iic通信協(xié)議
- 多方控制量子通信協(xié)議
- 基于ECC的RFID通信協(xié)議研究.pdf
評(píng)論
0/150
提交評(píng)論