產(chǎn)品概述
Rapita Verification Suite(簡(jiǎn)稱:RVS),為美國(guó)Danlaw公司提供的一款嵌入式系統(tǒng)在板測(cè)試套件,主要應(yīng)用于汽車(chē)領(lǐng)域。其產(chǎn)品符合ISO-26262、DO178B/C、IEC-61508等行業(yè)標(biāo)準(zhǔn),兼容Vxworks、Linux、SYSBIOS等操作系統(tǒng),支持C、C++、Ada多種語(yǔ)言,多方位支撐TI、IBM、Intel、ARM、Freescale、Infineon等廠商處理器。
RVS針對(duì)汽車(chē)領(lǐng)域提供ISO-26262 Qualification Kit來(lái)滿足高可靠、高安全的嵌入式軟件驗(yàn)證需求。在奧迪、大陸電子等企業(yè)得到應(yīng)用。
產(chǎn)品介紹
嵌入式軟件時(shí)間性能分析工具—RapiTime
針對(duì)嵌入式軟件時(shí)間性能(包括最差情況執(zhí)行時(shí)間 WCET),RapiTime可對(duì)其進(jìn)行全方位測(cè)量和統(tǒng)計(jì),降低用戶實(shí)施時(shí)間性能驗(yàn)證、軟件優(yōu)化、系統(tǒng)更新、集成關(guān)鍵嵌入式系統(tǒng)的成本和研發(fā)工作量。其顯著特點(diǎn)如下:
? 提供函數(shù)級(jí)、代碼段級(jí)的最差情況執(zhí)行時(shí)間(WCET)、最大執(zhí)行時(shí)間、最小執(zhí)行時(shí)間、平均執(zhí)行時(shí)間、高水位執(zhí)行時(shí)間的測(cè)量和統(tǒng)計(jì)
?幫助用戶定位產(chǎn)品的性能瓶頸和軟件優(yōu)化重點(diǎn)
?對(duì)函數(shù)或代碼段的上下文、循環(huán)以及數(shù)據(jù)塊進(jìn)行分析
?可視化顯示每個(gè)函數(shù)或代碼段對(duì)時(shí)間性能的影響程度
?識(shí)別代碼在最差情況下的執(zhí)行路徑
?檢查最差情況執(zhí)行路徑的出現(xiàn)頻率
?甄別由于硬件性能不同對(duì)于軟件執(zhí)行時(shí)間的影響
?支持多任務(wù)和多核分析
?支持持續(xù)集成,如Jenkins/Bamboo
嵌入式軟件代碼覆蓋分析工具—RapiCover
RapiCover是一款針對(duì)嵌入式目標(biāo)代碼進(jìn)行覆蓋度測(cè)試的工具,針對(duì)所設(shè)計(jì)的測(cè)試用例,統(tǒng)計(jì)在板代碼覆蓋率信息,其插樁點(diǎn)的開(kāi)銷較小,并能針對(duì)目標(biāo)板的實(shí)際情況提供靈活的支持方式。其顯著特點(diǎn)如下:
?對(duì)于收集目標(biāo)代碼覆蓋度只需較低的開(kāi)銷
?支持功能安全標(biāo)準(zhǔn)(ISO26262和DO-178B/C)的覆蓋度指標(biāo)要求
?支持覆蓋水平的標(biāo)準(zhǔn),包括Function Coverage、Statement Coverage、Decision/branch Coverage、Modification condition/Decision Coverage等
?支持多核系統(tǒng)的覆蓋度測(cè)試
?提供多種便捷操作,提升測(cè)試效率
?提供不同顆粒度的自動(dòng)插裝選擇
?支持 C、C++、Ada語(yǔ)言,兼容主流編譯器
嵌入式軟件任務(wù)調(diào)度和事件分析工具—RapiTask
針對(duì)復(fù)雜的嵌入式系統(tǒng),RapiTask能可視化軟件任務(wù)調(diào)度和事件跟蹤。用戶在使用復(fù)雜調(diào)度行為(如多核、多線程)的嵌入式系統(tǒng)時(shí),RapiTask可幫助解決可能面臨的挑戰(zhàn)。其顯著特點(diǎn)如下:
?自動(dòng)獲取任務(wù)/中斷調(diào)度級(jí)別的時(shí)間性能指標(biāo)
?定位罕見(jiàn)的時(shí)序錯(cuò)誤問(wèn)題,比如競(jìng)態(tài)條件、死鎖、優(yōu)先級(jí)倒置
?定位多任務(wù)和多核平臺(tái)的系統(tǒng)容量和負(fù)載問(wèn)題,消除系統(tǒng)集成風(fēng)險(xiǎn)
?驗(yàn)證系統(tǒng)的時(shí)序行為,與RapiTime聯(lián)用能夠獲取更加詳細(xì)的時(shí)序分析結(jié)果
?獨(dú)立于目標(biāo)系統(tǒng),能夠適應(yīng)不同的目標(biāo)板及不同的實(shí)時(shí)操作系統(tǒng)
高速海量測(cè)試數(shù)據(jù)記錄儀—RTBx
RTBx是一款高速海量測(cè)試數(shù)據(jù)記錄儀。通過(guò)連接目標(biāo)硬件平臺(tái)的輸出端口,收集目標(biāo)運(yùn)行的時(shí)間戳數(shù)據(jù)和插樁點(diǎn)標(biāo)識(shí)符。其顯著特點(diǎn)如下:
?一種通用的解決方案,能夠復(fù)用在不同的工程當(dāng)中
?收集和輸出數(shù)據(jù)簡(jiǎn)單和快速
?巨大的數(shù)據(jù)儲(chǔ)存能力
?RTBx將檢測(cè)點(diǎn)代碼尺寸和執(zhí)行時(shí)間開(kāi)銷降到了較低
?直接與用戶目標(biāo)硬件的TTL或LVDS等I/O接口相連
?長(zhǎng)達(dá)數(shù)天的連續(xù)數(shù)據(jù)存儲(chǔ)能力
?展示目標(biāo)硬件針腳狀態(tài)
應(yīng)用案例
審核編輯 黃宇
-
嵌入式系統(tǒng)
+關(guān)注
關(guān)注
41文章
3551瀏覽量
129104 -
性能測(cè)試
+關(guān)注
關(guān)注
0文章
203瀏覽量
21288
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論