MACH178 offers a robust solution designed to generate certification evidence that satisfies the stringent objectives of DO-178C, AC 20-193/AMC 20-193, and defense standards such as AMACC and MIL-HDBK-516C / AA-22-01. This comprehensive suite of products and services enables organizations to address critical airworthiness objectives, particularly by analyzing software timing behavior in the context of interference caused by contention on shared hardware resources. The solution leverages expert services, RapiDaemons (small applications designed to generate configurable load on specific shared resources), and RVS tools to automate the collection of on-target timing evidence. This allows for the precise identification and quantification of multicore interference effects on applications. MACH178 facilitates the identification of potential interference channels within multicore platforms, generates on-target tests to analyze the impact of interference on software timing, and runs these tests through an automated framework. An expert team then analyzes the results to produce the necessary evidence, demonstrating that the code meets its timing deadlines. Furthermore, MACH178 assists in evaluating and selecting optimal multicore hardware and RTOS environments, which can significantly impact application timing behavior. By identifying the best environment, the system helps mitigate interference channel impacts and ensures the platform supports verification through to certification. The platform also significantly reduces analysis effort through its automated tool framework, which converts input tests (using RapiDaemons) into test harnesses that run on the target to produce analyzable results. While typically used by Rapita's team, in-depth training is available for organizations wishing to perform the analysis themselves.

Features & Benefits

• Produce Certification Evidence
  • Provides a comprehensive solution for generating certification evidence to satisfy DO-178C, AC 20-193/AMC 20-193, and defense standards like AMACC and MIL-HDBK-516C / AA-22-01, addressing airworthiness objectives including software timing behavior analysis under shared resource contention.
• Characterize and Quantify Multicore Interference
  • Utilizes expert services, RapiDaemons, and RVS tools to automate on-target timing evidence collection, helping identify sources of multicore interference and quantify their effects on applications through robust processes and automated testing.
• Evaluate & Select Multicore Hardware and RTOS
  • Assists in evaluating different multicore hardware and RTOS environments to identify the optimal choice, mitigating interference impacts and ensuring the platform supports verification through to certification.
• Reduce Analysis Effort Through Automation
  • Creates an automated tool framework environment for analyzing multicore timing behavior, converting input tests into test harnesses for on-target execution, significantly reducing testing effort, with training available for self-analysis.