RVS can be used to verify multicore systems for requirements-based testing, structural coverage, execution time and scheduling behavior.
For zero footprint RVS tools such as RapiCoverZero, analysis of multicore systems is supported if the mechanism used to collect branch trace information allows you to record this information from multiple cores simultaneously.
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.