SAFERTOS Integrations

Rapita Verification Suite (RVS) is a comprehensive, on-target software verification toolsuite used to test, analyze, and produce certification evidence for critical embedded systems, helping developers ensure safety and reliability to meet standards like DO-178C and ISO 26262. It combines static and dynamic analysis techniques to run requirements-based functional tests, measure structural code coverage (including MC/DC), analyze execution and worst-case timing behavior directly on target hardware, and visualize task-level scheduling, giving developers deep insight into performance and behavior under real conditions. RVS integrates with existing build systems, embedded targets, and third-party tools with low instrumentation overhead, supports multicore timing analysis, and offers qualification kits and services to streamline certification processes for aviation and automotive projects.