Using RVS (Rapita Verification Suite) to instrument the FCS source code and analyze the results from on-target testing met the verification activities required by DO-178B and cut development costs.
