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