As leading verification tool and service suppliers to the US defense industry, Rapita Systems are experts in the verification of open systems-based projects. At the TSOA-ID TIM & Expo, Rapita will demonstrate how the Rapita Verification Suite (RVS) enables software suppliers to address the FACETM standard via automatic instrumentation, flexible OS integration and automatic requirements tracing within a DO-178C qualifiable (DAL A) workflow. We will also describe how our CAST-32A Compliance solution enables the verification of the effectiveness of ARINC 653 partitioning mechanisms used in FACE-compliant multicore systems.
Looking beyond the FACE standard, Rapita will outline how our unique approach to multicore verification and certification (“CAST-32A Compliance”) enables our defense customers to leverage Integrated Modular Avionics (IMA) in their next-generation multicore projects. IMA is a key driver for open architecture and interoperability across a range of open standards including FACE, MOSA and SOSA.