Skip to main content
RVS 3.19 Launched
Rapita is proud to be an ISOLDE Partner
Rapita and SYSGO underline partnership
RVS 3.18 Launched
Introduction to Data Coupling and Control Coupling for DO-178C
Measuring response times and more with RapiTime
Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects
There are how many sources of interference in a multicore system?
Data Coupling & Control Coupling
Verifying additional code for DO-178C
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
Upcoming Webinar: Deep Dive on Multicore Interference
RVS helps you perform back-to-back testing of your SCADE models by integrating with ANSYS® SCADE® Test™.
By automatically interpreting and executing your model-based tests against generated source code for both on-host and on-target testing, RapiTest improves efficiency by letting you reuse your SCADE tests through all phases of the verification lifecycle. This lets you supplement your model-based tests with additional testing of manually-coded components (low-level drivers, for instance) within a unified testing framework. If your SCADE Test tests are linked to requirements, this information is interpreted by RapiTest and added to your RVS reports.
While running your existing SCADE Test tests, you can also collect execution time metrics with RapiTime to support worst-case execution time analysis.
Feature applies to:
