隨著芯片產(chǎn)業(yè)日新月異，汽車行業(yè)也不斷更新迭代整車電子電氣系統(tǒng)的各項技術(shù)。在過去的四十年中，整車上的控制器數(shù)量快速增長，卻仍不能滿足愈發(fā)多樣、復雜的功能設計對硬件的需求。控制器架構(gòu)精簡、集成逐漸成為了未來的發(fā)展方向，域控制器等概念逐步走進了業(yè)界，ISO-26262等標準也應運而生，為控制器系統(tǒng)的研發(fā)方法及規(guī)范提出一系列要求。這些潮流在一方面降低了控制器及線束等原料成本，規(guī)范了開發(fā)方法，提高了開發(fā)質(zhì)量；但另一方面，越來越高的功能集成度、越來越復雜的嵌入式芯片以及高標準的開發(fā)要求也給開發(fā)工作帶來了諸多挑戰(zhàn)，例如：
1.如何評估代碼對硬件資源的使用情況？
2.如何評估控制器在復雜工況下的運行情況？
3.如何管理代碼測試用例和測試過程？
4.如何評估代碼覆蓋度？
5.如何定位、解決代碼中非功能性的問題？
6.如何讓嵌入式軟件研發(fā)流程符合高ASIL標準的要求？
7.......
Rapita公司推出的Rapita Verification Suite(以下簡稱為RVS)是一款包含多種嵌入式軟件分析工具的套件，能夠提供嵌入式代碼測試過程管理、代碼覆蓋度分析、時間性能分析、任務調(diào)度分析等功能，并且擁有配套的數(shù)據(jù)記錄儀RTBx。RVS能夠提供一套易于部署、易于使用且行之有效的嵌入式軟件分析解決方案。同時，我們也提供目標集成、ISO-26262認證、日常技術(shù)支持等服務，為RVS工具套件的使用及嵌入式軟件研發(fā)項目的推進提供有力支撐。
產(chǎn)品介紹
? RapiTime
? 計算差情況執(zhí)行時間(WCET)和執(zhí)行時間高水位值
? 快速識別待優(yōu)化的代碼
? 可支持單核、多核目標芯片的分析
RapiTime可計算目標嵌入式軟件的差情況執(zhí)行時間和高水位時間等時序指標，由此幫助開發(fā)人員定位待優(yōu)化代碼，以及生成功能安全認證流程所需的證據(jù)。借助可配置式目標代碼插樁技術(shù)，RapiTime可以廣泛應用于各種復雜的目標硬件系統(tǒng)，例如多核心嵌入式系統(tǒng)等。
? RapiTask
? 可圖像化展示系統(tǒng)調(diào)度情況
? 高亮展示少見的時序事件，例如競爭條件
? 識別CPU負載問題
RapiTask可將嵌入式操作系統(tǒng)的調(diào)度情況進行還原，通過生成甘特圖及各類統(tǒng)計圖表，輔助開發(fā)人員理解多核心和多線程嵌入式系統(tǒng)的調(diào)度行為，識別時序相關(guān)問題，根據(jù)CPU負載情況評估系統(tǒng)可拓展性。對于傳統(tǒng)測試過程中出現(xiàn)的功能異常、控制器非預期復位等問題，借助RapiTask也可以快速還原異常工況，定位問題根源。
? RapiCover：
? 代碼覆蓋率測試可支持至MC/DC測試標準
? 低的目標硬件額外開銷
? 可合并復數(shù)個測試的覆蓋率結(jié)果
RapiCover是一款目標硬件額外開銷低的結(jié)構(gòu)化代碼覆蓋度分析工具。通過可配置的目標代碼插樁工序，RapiCover可支持包括MC/DC覆蓋度測試在內(nèi)的多種覆蓋度測試標準，幫助開發(fā)人員全方位評估代碼覆蓋度情況，并能將結(jié)果導出到報告中以供認證流程的使用。
? RapiTest：
? 支持單元、集成與系統(tǒng)測試的管理
? 可在目標硬件或上位機上應用執(zhí)行測試用例
? 維護測試用例和測試需求之間的可追溯性
RapiTest提供各種強大的測試編寫格式，幫助開發(fā)人員管理測試用例及測試需求，并可以實現(xiàn)測試用例的自動注入和運行，提高測試開發(fā)和執(zhí)行過程的效率。
? RTBx：
? 可持續(xù)多天保持每秒跟蹤100多萬條事件記錄
? 低代碼插樁開銷
RTBx可以以高的速率從目標嵌入式硬件中采集跟蹤數(shù)據(jù)。且具有可自定義，低開銷的插樁代碼庫和易于使用的網(wǎng)絡界面。
多核系統(tǒng)解決方案
相較于傳統(tǒng)的單核嵌入式系統(tǒng)，多核系統(tǒng)的難點在于如何評估核心間代碼的相互影響。運算任務的分配、核心間的通信模式與同步模式、公共資源的分配等細節(jié)都會影響整個多核系統(tǒng)的性能，不恰當?shù)能浖崿F(xiàn)方法不僅不能有效利用多核心帶來的算力提升，甚至可能對功能實現(xiàn)造成負面影響。
結(jié)合RVS工具與工程師的專業(yè)知識，我們提供多核系統(tǒng)解決方案：對目標多核系統(tǒng)和目標代碼進行細致分析，得出各核心代碼之間存在的各種干擾渠道。在RapiTest中有針對性地編寫測試用例，并借助RapiDaemons對這些干擾行為進行量化，通過RapiTask和RapiTime生成測試結(jié)果，對測試結(jié)果進行分析，得到代碼的實際性能數(shù)據(jù)與各類干擾行為的具體影響，從而評估代碼實現(xiàn)的效果，并為后續(xù)改進優(yōu)化提供參考。
