RVS 3.16 Launched
Aerospace Tech Week – November 2021
NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
DO-178C - Stage of Involvement 4
DO-178C - Stage of Involvement 3
AMC 20-193 and what it means to you
DO-178C - Stage of Involvement 2
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
SYSGO + Rapita: Verifying your Multicore RTOS
ERTS Congress
DO-178C Multicore In-person Training
Air Force FACE and SOSA TIM and Expo
RVS tools store a copy of the code they analyze, which you can view in the RVS Project Manager.
Results such as coverage obtained from RapiCover or RapiCoverZero or your software's worst-case path (as calculated by RapiTime) are highlighted and color-coded to help you understand how your results map to specific areas of your code.
Within the code viewer, where they are available, you can view source code, preprocessed code, instrumented code and object code. If you're using a zero-footprint RVS tool such as RapiCover Zero and have access to source code and debug symbols, you can view your object code and source code side-by-side to support traceability of your results between the two.
Feature applies to:
