MASTECS Project The MASTECS project aims to innovate and commercialize exploitable technology for multicore timing analysis. Discover MACH178 Discover RapiDaemons Related videos Getting started with RVS Accelerated software verification with RVS 3.23 Rapita Systems - Safety Through Quality Rapita Systems - Safety Through Quality Multicore Avionics Certification for High-integrity DO-178C projects