NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
FACE Technical Interchange Meeting - September 2021
Bell selects Rapita for Invictus 360 FARA Project
Introducing the RapiTest Editor
Software verification on the Solar Orbiter
Metrowerks CodeTest - How and why to upgrade
Leveraging FACE Conformance Artifacts to Support Airworthiness
DO-178C
MATLAB Simulink MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
Aerospace TechWeek 2021
Safe Use of Multi-Core Processors Seminar
How to perform Cost-Effective Multicore Verification – An Industrial Tutorial
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.
Feature applies to:
