AUTOSAR 對(duì)汽車(chē)電氣設(shè)計(jì)進(jìn)行全方位驗(yàn)證測(cè)試
作者：
時(shí)間：2013-01-05
來(lái)源：網(wǎng)絡(luò)
收藏
加入技術(shù)交流群
掃碼加入
和技術(shù)大咖面對(duì)面交流
海量資料庫(kù)查詢(xún)
電子控制單元模擬
電子控制單元模擬的輸入通常包括通過(guò)明導(dǎo)國(guó)際的 Volcano? 車(chē)輛系統(tǒng)架構(gòu) (VSA) 等 AUTOSAR 制作工具生成的抽象電子控制單元配置。電子控制單元配置包含指定給某個(gè)具體電子控制單元的所有信息項(xiàng)。其中包括描述這個(gè)電子控制單元整體功能行為的軟件合成體信息。根據(jù)所需的配置，模擬將從最初高層次的抽象（針對(duì)軟件架構(gòu)驗(yàn)證）開(kāi)始，一直到詳細(xì)的執(zhí)行結(jié)束。
軟件架構(gòu)模擬
在這個(gè)階段，所有軟件構(gòu)件會(huì)被組裝到頂級(jí)合成體中。同時(shí)模擬將解決軟件架構(gòu)和邏輯架構(gòu)的整體行為問(wèn)題。通過(guò)這種方法，來(lái)自不同供應(yīng)商的軟件構(gòu)件的相互作用可以集成到一起并得到驗(yàn)證。
一致性檢查和設(shè)計(jì)規(guī)則檢查
與簡(jiǎn)要概括的動(dòng)態(tài)模擬不同，一致性檢查是在設(shè)計(jì)流程每個(gè)階段的關(guān)鍵點(diǎn)進(jìn)行的靜態(tài)分析。
一致性檢查在開(kāi)發(fā)階段就早早啟動(dòng)。在一致性檢查中，設(shè)計(jì)與指定參數(shù)之間的一致性以及適用的設(shè)計(jì)規(guī)則都得到監(jiān)控。
一致性檢查還能驗(yàn)證命名規(guī)范以及參數(shù)的有效性和完整性。通常一致性檢查可表達(dá)如下：
“端口連接 X 無(wú)效，因?yàn)檫B接的發(fā)送器/接收器接口含有不兼容數(shù)據(jù)元素”
設(shè)計(jì)規(guī)則檢查 (DRC) 通常針對(duì)特定設(shè)計(jì)，用戶(hù)可進(jìn)行自定義。設(shè)計(jì)規(guī)則檢查對(duì)規(guī)則的遵守情況進(jìn)行嚴(yán)格監(jiān)控，例如：
“為確保冗余，功能 X 在控制單元 Y 上必須可用兩次”
要想進(jìn)行設(shè)計(jì)規(guī)則檢查，工具必須配備一個(gè)開(kāi)放接口，允許根據(jù)對(duì)象約束語(yǔ)言 (OCL) 等規(guī)則描述語(yǔ)言制定針對(duì)特定用戶(hù)的規(guī)則。設(shè)計(jì)規(guī)則檢查的前提當(dāng)然是對(duì) AUTOSAR 元模型中所有對(duì)象、參數(shù)和關(guān)系的訪問(wèn)權(quán)。
雙擊顯示錯(cuò)誤的隱藏原因
AUTOSAR 制作工具 VSA（車(chē)輛系統(tǒng)架構(gòu)）中的專(zhuān)業(yè)“問(wèn)題檢查”顯示出一系列一致性檢查的結(jié)果。雙擊一項(xiàng)錯(cuò)誤信息會(huì)導(dǎo)致指針直接跳至 AUTOSAR 編輯器中問(wèn)題的起因，從而輕松發(fā)現(xiàn)問(wèn)題所在。
一致性設(shè)計(jì)是模擬的基本前提，因?yàn)檩斎雲(yún)?shù)的質(zhì)量最終決定了模擬的可行性和質(zhì)量。指定的參數(shù)數(shù)量在很大程度上取決于將要模擬的抽象層。AUTOSAR 定義了兩個(gè)抽象層：
虛擬功能總線 (VFB) 和運(yùn)行環(huán)境 (RTE)這兩個(gè)抽象層奠定了隨后將要進(jìn)行的 AUTOSAR 模擬的基礎(chǔ)。
圖2顯示了 VFB 層。AUTOSAR 定義的虛擬功能總線代表了軟件構(gòu)件之間的通信管理。軟件構(gòu)件之間的數(shù)據(jù)交換通過(guò)數(shù)據(jù)元素發(fā)生，基于發(fā)送器/接收器或客戶(hù)端/服務(wù)器通信。這里必須注意的是，在 VFB 層，沒(méi)有通信能傳遞到 RTE 下面的基礎(chǔ)軟件 (BSW) 層。對(duì)此進(jìn)行了慎重的定義，以確保硬件和軟件之間的明確區(qū)分，并且對(duì)純粹的功能表現(xiàn)進(jìn)行了抽象闡述。時(shí)間的選擇由生成可執(zhí)行文件的 RTE 事件的時(shí)間常數(shù)來(lái)決定。VFB 抽象層是在開(kāi)發(fā)初期對(duì)軟件架構(gòu)的功能行為進(jìn)行驗(yàn)證的有效方式，可幫助工程師在執(zhí)行成本最低的時(shí)候及早發(fā)現(xiàn)和解決設(shè)計(jì)問(wèn)題。
圖2：AUTOSAR 虛擬功能總線 (VFB)
在創(chuàng)作程序中添加 RTE 層意味著抽象層更加詳細(xì)。RTE 層融入了執(zhí)行平臺(tái)的更多因素用于軟件配置，因此在描述時(shí)需要更多參數(shù)。通過(guò)添加 RTE 層，將能增強(qiáng)調(diào)度和任務(wù)映射等操作系統(tǒng)功能。
圖3：AUTOSAR RTE 層
圖4：完整電子控制單元拓?fù)鋱D
評(píng)論