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
-
product
Functional Testing For Critical Software
RapiTest
*Requirements-based testing for Ada, C & C++ on-host & target*Reduce test authoring effort through easy-to-use test formats*Manage project artifacts with requirements traceability*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
product
Low-overhead Coverage Analysis For Critical Software
RapiCover
* Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target* Reduce test builds needed for analysis on constrained targets* Save time with efficient merge and mark verification workflow* Simplify verification by integrating with your CI tool* Produce evidence for DO-178 and ISO 26262 certification
-
product
In-depth Execution Time Analysis For Critical Software
RapiTime
*Timing analysis (inc. WCET) for Ada, C & C++ on-target & host**Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
product
RTOS Scheduling Visualization
RapiTask
*Examine Ada, C or C++ applications via scheduling visualization*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues*Compare scheduling algorithms from different RTOSs
-
product
Zero-footprint Coverage Analysis For Critical Software
RapiCoverZero
*Collect coverage from systems that produce branch traces*Save time with efficient merge and mark verification workflow*Simplify verification through integration with your CI tool*Collect coverage for libraries without source code
-
product
Zero-footprint Timing Analysis For Critical Software
RapiTimeZero
*Collect timing metrics from systems that produce branch traces* Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Analyze timing behavior of libraries without source code
-
product
Zero-footprint Event-level Scheduling Analysis For Critical Software
RapiTaskZero
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code
