RVS can enhance PIL and HIL testing in a model-based development workflow using MATLAB® Simulink® by providing verification evidence needed to meet DO-178C objectives as part of a qualified workflow.
Using an existing Simulink target integration workflow, RVS tools let you verify software’s worst-case execution time (WCET) and structural coverage, and help you save effort in your verification process with key effort-saving features such as support for optimizing code for timing behavior, and coverage justifications.
Worst-case execution time vs. Maximum execution time
WCET analysis is crucial for DO-178C certification as it provides confidence that software will meet its execution deadlines in a worst-case setting. Observing only maximum execution time does not provide this evidence.
In addition to supporting the verification of model-based code on-target in on-target PIL and HIL testing scenarios (as required for DO-178C verification), RVS can be used to verify any hand-written code used in a project, and to support structural coverage analysis at the SIL testing level.
RVS tools come with DO-330 qualification kits, reducing certification risk and ensuring a straightforward path to DO-178C compliance.
The quality and ease-of-use of Rapita’s Qualification products and services is second to none
Kyle Ford, Collins Aerospace
Feature applies to: