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