Danlaw Acquires Maspatechnologies - Expanding Rapita Systems to Spain
Rapita co-authored paper wins ERTS22 Best paper award
A look back on Rapita's Multicore DO-178C training in Huntsville
RVS 3.17 Launched
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
Flexible licensing software fit for modern working
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
Aerospace Tech Week Europe 2023
Certification Together International Conference
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:
