Skip to main content
RVS 3.21 Launched
Embedded Office GmbH & Co. KG and Rapita Systems announce strategic partnership
Rapita Systems and LICRIT announce strategic partnership
RVS 3.20 Launched
Control Coupling Basics in DO-178C
Components in Data Coupling and Control Coupling
The ‘A’ Team comes to the rescue of code coverage analysis
Why there’s no standard approach for Data Coupling and Control Coupling Analysis
DO-278A Guidance: Introduction to RTCA DO-278 approval
ISO 26262
Data Coupling & Control Coupling
Verifying additional code for DO-178C
Multicore Webinar with Asterios Technologies
DASC 2024
HISC 2024
DO-178C Multicore In-person Training (Munich)
Certification Together is an initiative to create exchanges between all types of companies involved in airborne projects facing certification challenges and provide expert solutions. The main objective is to leverage the expertise and synergies of several internationally recognized expert companies in the certification of critical systems. This collaboration also involves graduate schools, R&D labs, as well as tool and component providers.
Presentation by Dr. Sam Thompson, May 12th 10:10 - 10:45
Dr. Sam Thompson will be presenting on Day 3 of the event on the topic of 'Certifying Multicore avionics systems according to DO-178C guidance'.
The avionics industry is moving towards the use of multicore systems to meet the demands of modern avionics applications. To use these systems in mission or safety-critical contexts, their “worst-case” timing behavior must be verified for DO-178C certification. The FAA published the CAST-32A position paper in 2016, in which they identified topics that could impact the safety, performance and integrity of multicore processors and suggested additional objectives that could be met to provide design assurance for multicore DO-178C software. This advice has been formalized by the FAA in AC 20-193 and by EASA in AMC 20-193. Existing techniques to verify software timing behavior are unsuitable to analyze multicore systems as they do not consider interference effects caused by contention for shared resources, which can have significant effects on software timing behavior and are often only discovered when analyzing a system in-depth. We describe our MACH-178 approach to characterization of multicore systems, identification of interference channels, and the production of certification evidence for hosted software. The approach is designed to be reproducible, automatable, scalable, and produces reusable outputs. This can yield large efficiency savings, particularly in large and complex projects where components may be deployed several times, or where frequent iterations of software need re-certification.
Dr Samuel Thompson - Multicore Engineering Team Lead
Dr. Samuel Thompson is a Senior Multicore Analysis Engineer in the multicore team at Rapita Systems Limited, and has a significant role in both the development of Rapita’s multicore solution as well as the delivery of customer projects on multicore platforms. Sam’s professional background includes work on safety-critical automation projects, systems design, and the analysis of large disparate datasets. He received his PhD from the University of York for the analysis of sub-diffraction-limit light-scattering and dynamic interaction data from engineered nanoparticles.
