RVS 3.18 Launched
Solid Sands partners with Rapita Systems
Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain
Rapita co-authored paper wins ERTS22 Best paper award
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?
Supporting modern development methodologies for verification of safety-critical software
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
NAVAIR FACE & SOSA TIM and Expo
DASC 2023
HISC 2023
Aerospace Tech Week Americas 2023
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:
