RVS 3.16 Launched
Aerospace Tech Week – November 2021
NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
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 - Stage of Involvement 3
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
DO-178C Multicore In-person Training
Air Force FACE and SOSA TIM and Expo
Aerospace Tech Week Americas
Download type: Case study
What's inside
Working on the R&D stage of a DO-178B Level A Flight Control System (FCS) software application, Embraer wanted to obtain worst-case execution times (WCET) and worst-case stack usage data for their software.
Learn how RVS reduced the cost of Embraer's development by instrumenting the FCS code to collect worst-case execution time results from on-target testing.
Other case studies
