Multicore support

RVS can be used to verify multicore systems for requirements-based testing, structural coverage, execution time and scheduling behavior.

Analysis of multicore software poses challenges not present for single core systems, particularly when analyzing execution time behavior due to non-determinism of software execution. As long-standing experts in execution time analysis, we provide a unique solution to verify the timing behavior of multicore systems.