Rapita Verification Suite
RVS - Rapita Systems Ltd.
*Run requirements-based tests on your code
*Produce coverage evidence including MC/DC from tests
*Analyze execution time including worst-case timing on-target
*Understand program scheduling behavior
*Produce evidence for DO-178 and ISO 26262 certification