The Rapita Verification Suite (RVS) is a comprehensive set of tools designed for on-target software verification in critical embedded systems. It helps developers and engineers ensure their code meets stringent safety and reliability standards such as DO-178C and ISO 26262. RVS enables users to run requirements-based tests directly on their target hardware, produce detailed structural coverage evidence including MC/DC, analyze execution time to determine worst-case timing, and understand program scheduling behavior. The suite provides off-the-shelf qualification kits and integration services to streamline the certification process, having supported numerous DO-178B and C certification projects up to DAL A for over 15 years in the aerospace and automotive industries.

Features & Benefits

• RapiTest: Requirements-Based Testing
  • RVS’s unit, integration, and system testing solution, RapiTest, facilitates writing and running requirements-based tests easily on host or target. It offers easy-to-write and review, feature-rich test formats, and the ability to create multithreaded tests and test code elements such as generics and private types without requiring source code modification, thereby reducing the cost of requirements-based testing.
• RapiCover: Structural Coverage Analysis
  • RVS’s structural coverage analysis solution, RapiCover, automatically instruments code for structural coverage analysis (up to MC/DC) and collects results while running on host or target. It provides an efficient verification workflow, flexible integration strategies, and extremely low target overheads, helping customers cut testing effort significantly.
• RapiTime: Execution Time Analysis (WCET)
  • RVS’s execution time analysis solution, RapiTime, automatically instruments code to measure timing behavior and collects timing results while the application runs on target hardware. Its hybrid worst-case execution time (WCET) calculation combines static analysis and measurement-based approaches to produce WCET results that accurately represent real system behavior, providing a safe upper bound while minimizing pessimism.
• RapiTask: Scheduling Visualization
  • RVS’s scheduling visualization solution, RapiTask, collects task-level timing results during program execution and presents them graphically to help users understand system scheduling behavior. RapiTask simplifies locating rare timing events and identifying system bottlenecks, and its platform-agnostic nature means users only need to learn one tool regardless of the RTOS.
• Certification Evidence & Qualification Kits
  • RVS supports DO-178C and ISO 26262 certification with off-the-shelf qualification kits and qualified target integration services. Many RVS features, including instrumentation and coverage merging, are qualified, saving significant manual effort for customers and supporting numerous DAL A certification projects.