
Everything you neeed to get started
The MACH178 Core Pack is the starting point for every multicore verification project. It includes fundamental guidance and tools that support defining and implementing an approach to certification whether your multicore processor is used in single active core or multicore modes.
MACH178 Foundations
Lay the groundwork for A(M)C 20-193 compliance
MACH178 Foundations provides templates, procedures and checklists that support the use of multicore software for critical systems in both single active core and multicore modes.
Through a structured end to end approach, these outline the steps to follow from planning to approval and how to ensure necessary evidence is available.


Rapita Verification Suite (RVS)
Streamlined software verification
The RVS toolsuite supports multicore platform evaluation and the generation of verification evidence for critical software for single core, single active core and multicore software.
RVS includes tools to support:
- Multicore testing and requirements-based functional testing (RapiTest)
- Timing analysis including worst-case execution time (RapiTime)
- Data coupling and control coupling analysis (RapiCoupling)
- Scheduling visualization (RapiTask)
- Structural coverage analysis up to MC/DC (RapiCover)



