隨著晶片產業日新月異，汽車行業也不斷更新迭代整車電子電氣系統的各項技術。在過去的四十年中，整車上的控制器數量快速增長，卻仍不能滿足愈發多樣、複雜的功能設計對硬體的需求。控制器架構精簡、整合逐漸成為了未來的發展方向，域控制器等概念逐步走進了業界，ISO-26262等標準也應運而生，為控制器系統的研發方法及規範提出一系列要求。這些潮流在一方面降低了控制器及線束等原料成本，規範了開發方法，提高了開發質量；但另一方面，越來越高的功能整合度、越來越複雜的嵌入式晶片以及高標準的開發要求也給開發工作帶來了諸多挑戰，例如：

1.如何評估程式碼對硬體資源的使用情況？

2.如何評估控制器在複雜工況下的執行情況？

3.如何管理程式碼測試用例和測試過程？

4.如何評估程式碼覆蓋度？

5.如何定位、解決程式碼中非功能性的問題？

6.如何讓嵌入式軟體研發流程符合高ASIL標準的要求？

7.......

Rapita公司推出的Rapita Verification Suite(以下簡稱為RVS)是一款包含多種嵌入式軟體分析工具的套件，能夠提供嵌入式程式碼測試過程管理、程式碼覆蓋度分析、時間效能分析、任務排程分析等功能，並且擁有配套的資料記錄儀RTBx。RVS能夠提供一套易於部署、易於使用且行之有效的嵌入式軟體分析解決方案。同時，我們也提供目標整合、ISO-26262認證、日常技術支援等服務，為RVS工具套件的使用及嵌入式軟體研發專案的推進提供有力支撐。

產品介紹

• RapiTime

♦ 計算最差情況執行時間(WCET)和執行時間高水位值

♦ 快速識別待最佳化的程式碼

♦ 可支援單核、多核目標晶片的分析

RapiTime可計算目標嵌入式軟體的最差情況執行時間和高水位時間等時序指標，由此幫助開發人員定位待最佳化程式碼，以及生成功能安全認證流程所需的證據。藉助可配置式目的碼插樁技術，RapiTime可以廣泛應用於各種複雜的目標硬體系統，例如多核心嵌入式系統等。

• RapiTask

♦ 可影像化展示系統排程情況

♦ 高亮展示少見的時序事件，例如競爭條件

♦ 識別CPU負載問題

RapiTask可將嵌入式作業系統的排程情況進行還原，透過生成甘特圖及各類統計圖表，輔助開發人員理解多核心和多執行緒嵌入式系統的排程行為，識別時序相關問題，根據CPU負載情況評估系統可擴充性。對於傳統測試過程中出現的功能異常、控制器非預期復位等問題，藉助RapiTask也可以快速還原異常工況，定位問題根源。

• RapiCover：

♦ 程式碼覆蓋率測試可支援至MC/DC測試標準

♦ 極低的目標硬體額外開銷

♦ 可合併複數個測試的覆蓋率結果

RapiCover是一款目標硬體額外開銷極低的結構化程式碼覆蓋度分析工具。透過可配置的目的碼插樁工序，RapiCover可支援包括MC/DC覆蓋度測試在內的多種覆蓋度測試標準，幫助開發人員全方位評估程式碼覆蓋度情況，並能將結果匯出到報告中以供認證流程的使用。

• RapiTest：

♦ 支援單元、整合與系統測試的管理

♦ 可在目標硬體或上位機上應用執行測試用例

♦ 維護測試用例和測試需求之間的可追溯性

RapiTest提供各種強大的測試編寫格式，幫助開發人員管理測試用例及測試需求，並可以實現測試用例的自動注入和執行，提高測試開發和執行過程的效率。

• RTBx：

♦ 可持續多天保持每秒跟蹤100多萬條事件記錄

♦ 非常低的程式碼插樁開銷

RTBx可以以很高的速率從目標嵌入式硬體中採集跟蹤資料。且具有可自定義，低開銷的插樁程式碼庫和易於使用的網路介面。

多核系統解決方案

相較於傳統的單核嵌入式系統，多核系統的難點在於如何評估核心間程式碼的相互影響。運算任務的分配、核心間的通訊模式與同步模式、公共資源的分配等細節都會影響整個多核系統的效能，不恰當的軟體實現方法不僅不能有效利用多核心帶來的算力提升，甚至可能對功能實現造成負面影響。

結合RVS工具與工程師的專業知識，我們提供多核系統解決方案：對目標多核系統和目的碼進行細緻分析，得出各核心程式碼之間存在的各種干擾渠道。在RapiTest中有針對性地編寫測試用例，並藉助RapiDaemons對這些干擾行為進行量化，透過RapiTask和RapiTime生成測試結果，對測試結果進行分析，得到程式碼的實際效能資料與各類干擾行為的具體影響，從而評估程式碼實現的效果，併為後續改進最佳化提供參考。

RVS — 嵌入式軟體分析套件

相關文章