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
York Aerospace and Rocketry Society MACH-22 Update
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 - Stage of Involvement 4
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
Air Force FACE and SOSA TIM and Expo
High Integrity Software Conference 2022
Webinar: Efficient DO-178C verification - Functional testing
Webinar: Efficient DO-178C verification - Code coverage
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:
