產(chǎn)品概述

       Rapita Verification Suite（簡稱：RVS），為美國Danlaw公司提供的一款嵌入式系統(tǒng)在板測試套件，主要應(yīng)用于汽車領(lǐng)域。其產(chǎn)品符合ISO-26262、DO178B/C、IEC-61508等行業(yè)標準，兼容Vxworks、Linux、SYSBIOS等操作系統(tǒng)，支持C、C++、Ada多種語言，多方位支撐TI、IBM、Intel、ARM、Freescale、Infineon等廠商處理器。

       RVS針對汽車領(lǐng)域提供ISO-26262 Qualification Kit來滿足高可靠、高安全的嵌入式軟件驗證需求。在奧迪、大陸電子等企業(yè)得到應(yīng)用。

產(chǎn)品介紹

    · 嵌入式軟件時間性能分析工具—RapiTime

       針對嵌入式軟件時間性能（包括最差情況執(zhí)行時間 WCET），RapiTime可對其進行全方位測量和統(tǒng)計，降低用戶實施時間性能驗證、軟件優(yōu)化、系統(tǒng)更新、集成關(guān)鍵嵌入式系統(tǒng)的成本和研發(fā)工作量。其顯著特點如下：

    ? 提供函數(shù)級、代碼段級的最差情況執(zhí)行時間（WCET）、最大執(zhí)行時間、最小執(zhí)行時間、平均執(zhí)行時間、高水位執(zhí)行時間的測量和統(tǒng)計

    ? 幫助用戶定位產(chǎn)品的性能瓶頸和軟件優(yōu)化重點

    ? 對函數(shù)或代碼段的上下文、循環(huán)以及數(shù)據(jù)塊進行分析

    ? 可視化顯示每個函數(shù)或代碼段對時間性能的影響程度

    ? 識別代碼在最差情況下的執(zhí)行路徑

    ? 檢查最差情況執(zhí)行路徑的出現(xiàn)頻率

    ? 甄別由于硬件性能不同對于軟件執(zhí)行時間的影響

    ? 支持多任務(wù)和多核分析

    ? 支持持續(xù)集成，如Jenkins/Bamboo

    · 嵌入式軟件代碼覆蓋分析工具—RapiCover

       RapiCover是一款針對嵌入式目標代碼進行覆蓋度測試的工具，針對所設(shè)計的測試用例，統(tǒng)計在板代碼覆蓋率信息，其插樁點的開銷較小，并能針對目標板的實際情況提供靈活的支持方式。其顯著特點如下：

    ? 對于收集目標代碼覆蓋度只需較低的開銷

    ? 支持功能安全標準（ISO26262和DO-178B/C）的覆蓋度指標要求

    ? 支持覆蓋水平的標準，包括Function Coverage、Statement Coverage、Decision/branch Coverage、Modification condition/Decision Coverage等

    ? 支持多核系統(tǒng)的覆蓋度測試

    ? 提供多種便捷操作，提升測試效率

    ? 提供不同顆粒度的自動插裝選擇

    ? 支持 C、C++、Ada 語言，兼容主流編譯器

    · 嵌入式軟件任務(wù)調(diào)度和事件分析工具—RapiTask

       針對復(fù)雜的嵌入式系統(tǒng)，RapiTask能可視化軟件任務(wù)調(diào)度和事件跟蹤。用戶在使用復(fù)雜調(diào)度行為（如多核、多線程）的嵌入式系統(tǒng)時，RapiTask可幫助解決可能面臨的挑戰(zhàn)。其顯著特點如下：

    ? 自動獲取任務(wù)/中斷調(diào)度級別的時間性能指標

    ? 定位罕見的時序錯誤問題，比如競態(tài)條件、死鎖、優(yōu)先級倒置

    ? 定位多任務(wù)和多核平臺的系統(tǒng)容量和負載問題，消除系統(tǒng)集成風險

    ? 驗證系統(tǒng)的時序行為，與RapiTime聯(lián)用能夠獲取更加詳細的時序分析結(jié)果

    ? 獨立于目標系統(tǒng)，能夠適應(yīng)不同的目標板及不同的實時操作系統(tǒng)

    · 高速海量測試數(shù)據(jù)記錄儀—RTBx

       RTBx是一款高速海量測試數(shù)據(jù)記錄儀。通過連接目標硬件平臺的輸出端口，收集目標運行的時間戳數(shù)據(jù)和插樁點標識符。其顯著特點如下：

    ? 一種通用的解決方案，能夠復(fù)用在不同的工程當中

    ? 收集和輸出數(shù)據(jù)簡單和快速

    ? 巨大的數(shù)據(jù)儲存能力

    ? RTBx將檢測點代碼尺寸和執(zhí)行時間開銷降到了較低

    ? 直接與用戶目標硬件的TTL或LVDS等I/O接口相連

    ? 長達數(shù)天的連續(xù)數(shù)據(jù)存儲能力

    ? 展示目標硬件針腳狀態(tài)

應(yīng)用案例

了解更多：

       請致電 010-64840808轉(zhuǎn)6116或發(fā)郵件至market_dept@hirain.com（聯(lián)系時請說明來自EEPW電子產(chǎn)品世界平臺）