Rapita Verification Suite

*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 Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List

Topics

Family

Functional Testing For Critical Software

RapiTest - Rapita Systems Ltd.

*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 Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List
Low-overhead Coverage Analysis For Critical Software

RapiCover - Rapita Systems Ltd.

* 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 Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List
In-depth Execution Time Analysis For Critical Software

RapiTime - Rapita Systems Ltd.

*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 Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List
RTOS Scheduling Visualization

RapiTask - Rapita Systems Ltd.

*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 Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List
Zero-footprint Coverage Analysis For Critical Software

RapiCoverZero - Rapita Systems Ltd.

*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 Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List
Zero-footprint Timing Analysis For Critical Software

RapiTimeZero - Rapita Systems Ltd.

*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 Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List
Zero-footprint Event-level Scheduling Analysis For Critical Software

RapiTaskZero - Rapita Systems Ltd.

*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

Product Home Contact/Sales Distributors/Reps Video Company Catalog Share Add To List

Rapita Verification Suite

Topics

Functional Testing For Critical Software

Low-overhead Coverage Analysis For Critical Software

In-depth Execution Time Analysis For Critical Software

RTOS Scheduling Visualization

Zero-footprint Coverage Analysis For Critical Software

Zero-footprint Timing Analysis For Critical Software

Zero-footprint Event-level Scheduling Analysis For Critical Software