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