博客專(zhuān)欄

EEPW首頁(yè) > 博客 > RVS — 嵌入式軟件分析套件

RVS — 嵌入式軟件分析套件

發(fā)布人:hiraintech 時(shí)間:2020-09-22 來(lái)源:工程師 發(fā)布文章

        隨著芯片產(chǎn)業(yè)日新月異,汽車(chē)行業(yè)也不斷更新迭代整車(chē)電子電氣系統(tǒng)的各項(xiàng)技術(shù)。在過(guò)去的四十年中,整車(chē)上的控制器數(shù)量快速增長(zhǎng),卻仍不能滿(mǎn)足愈發(fā)多樣、復(fù)雜的功能設(shè)計(jì)對(duì)硬件的需求??刂破骷軜?gòu)精簡(jiǎn)、集成逐漸成為了未來(lái)的發(fā)展方向,域控制器等概念逐步走進(jìn)了業(yè)界,ISO-26262等標(biāo)準(zhǔn)也應(yīng)運(yùn)而生,為控制器系統(tǒng)的研發(fā)方法及規(guī)范提出一系列要求。這些潮流在一方面降低了控制器及線(xiàn)束等原料成本,規(guī)范了開(kāi)發(fā)方法,提高了開(kāi)發(fā)質(zhì)量;但另一方面,越來(lái)越高的功能集成度、越來(lái)越復(fù)雜的嵌入式芯片以及高標(biāo)準(zhǔn)的開(kāi)發(fā)要求也給開(kāi)發(fā)工作帶來(lái)了諸多挑戰(zhàn),例如:

1.如何評(píng)估代碼對(duì)硬件資源的使用情況?
2.如何評(píng)估控制器在復(fù)雜工況下的運(yùn)行情況?
3.如何管理代碼測(cè)試用例和測(cè)試過(guò)程?
4.如何評(píng)估代碼覆蓋度?
5.如何定位、解決代碼中非功能性的問(wèn)題?
6.如何讓嵌入式軟件研發(fā)流程符合高ASIL標(biāo)準(zhǔn)的要求?
7.......
        Rapita公司推出的Rapita Verification Suite(以下簡(jiǎn)稱(chēng)為RVS)是一款包含多種嵌入式軟件分析工具的套件,能夠提供嵌入式代碼測(cè)試過(guò)程管理、代碼覆蓋度分析、時(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),由此幫助開(kāi)發(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)度情況
   ?  高亮展示少見(jiàn)的時(shí)序事件,例如競(jìng)爭(zhēng)條件
   ?  識(shí)別CPU負(fù)載問(wèn)題 

        RapiTask可將嵌入式操作系統(tǒng)的調(diào)度情況進(jìn)行還原,通過(guò)生成甘特圖及各類(lèi)統(tǒng)計(jì)圖表,輔助開(kāi)發(fā)人員理解多核心和多線(xiàn)程嵌入式系統(tǒng)的調(diào)度行為,識(shí)別時(shí)序相關(guān)問(wèn)題,根據(jù)CPU負(fù)載情況評(píng)估系統(tǒng)可拓展性。對(duì)于傳統(tǒng)測(cè)試過(guò)程中出現(xiàn)的功能異常、控制器非預(yù)期復(fù)位等問(wèn)題,借助RapiTask也可以快速還原異常工況,定位問(wèn)題根源。



 RapiCover:

   ?  代碼覆蓋率測(cè)試可支持至MC/DC測(cè)試標(biāo)準(zhǔn)
   ?  極低的目標(biāo)硬件額外開(kāi)銷(xiāo)
   ?  可合并復(fù)數(shù)個(gè)測(cè)試的覆蓋率結(jié)果

       RapiCover是一款目標(biāo)硬件額外開(kāi)銷(xiāo)極低的結(jié)構(gòu)化代碼覆蓋度分析工具。通過(guò)可配置的目標(biāo)代碼插樁工序,RapiCover可支持包括MC/DC覆蓋度測(cè)試在內(nèi)的多種覆蓋度測(cè)試標(biāo)準(zhǔn),幫助開(kāi)發(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è)試編寫(xiě)格式,幫助開(kāi)發(fā)人員管理測(cè)試用例及測(cè)試需求,并可以實(shí)現(xiàn)測(cè)試用例的自動(dòng)注入和運(yùn)行,提高測(cè)試開(kāi)發(fā)和執(zhí)行過(guò)程的效率。


 RTBx:

   ?  可持續(xù)多天保持每秒跟蹤100多萬(wàn)條事件記錄
   ?  極低的代碼插樁開(kāi)銷(xiāo)
        RTBx可以從目標(biāo)嵌入式硬件中采集跟蹤數(shù)據(jù)。且具有可自定義,低開(kāi)銷(xiāo)的插樁代碼庫(kù)和易于使用的網(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)方法不僅不能有效利用多核心帶來(lái)的算力提升,甚至可能對(duì)功能實(shí)現(xiàn)造成負(fù)面影響。
        結(jié)合RVS工具的先進(jìn)性與工程師的專(zhuān)業(yè)知識(shí),我們提供多核系統(tǒng)解決方案:對(duì)目標(biāo)多核系統(tǒng)和目標(biāo)代碼進(jìn)行細(xì)致分析,得出各核心代碼之間存在的各種干擾渠道。在RapiTest中有針對(duì)性地編寫(xiě)測(cè)試用例,并借助RapiDaemons對(duì)這些干擾行為進(jìn)行量化,通過(guò)RapiTask和RapiTime生成測(cè)試結(jié)果,對(duì)測(cè)試結(jié)果進(jìn)行分析,得到代碼的實(shí)際性能數(shù)據(jù)與各類(lèi)干擾行為的具體影響,從而評(píng)估代碼實(shí)現(xiàn)的效果,并為后續(xù)改進(jìn)優(yōu)化提供參考。


*博客內(nèi)容為網(wǎng)友個(gè)人發(fā)布,僅代表博主個(gè)人觀(guān)點(diǎn),如有侵權(quán)請(qǐng)聯(lián)系工作人員刪除。



關(guān)鍵詞: RVS

技術(shù)專(zhuān)區(qū)

關(guān)閉