Skip to main content
RapiTest - Functional testing for critical software
RapiCover - Low-overhead coverage analysis for critical software
RapiTime - In-depth execution time analysis for critical software
RapiTask - RTOS scheduling visualization
RVS Qualification Kits - Tool qualification for DO-178 B/C and ISO 26262 projects
RapiCouplingPreview - DCCC analysis
MACH178 - Multicore Avionics Certification for High-integrity DO-178C projects
MACH178 Foundations - Lay the groundwork for A(M)C 20-193 compliance
Multicore Timing Solution - Solving the challenges of multicore timing analysis
RapiDaemon - Analyze interference in multicore systems
RTBx - The ultimate data logging solution
Sim68020 - Simulation for the Motorola 68020 microprocessor
V&V Services
Data Coupling & Control Coupling
Training
Consultancy
Tool Integration
Support
Rapita partners with Asterios Technologies to deliver solutions in multicore certification
SAIF Autonomy to use RVS to verify their groundbreaking AI platform
RVS 3.22 Launched
Hybrid electric pioneers, Ascendance, join Rapita Systems Trailblazer Partnership Program
How emulation can reduce avionics verification costs: Sim68020
Multicore timing analysis: to instrument or not to instrument
How to certify multicore processors - what is everyone asking?
Data Coupling Basics in DO-178C
Certifying Unmanned Aircraft Systems
DO-278A Guidance: Introduction to RTCA DO-278 approval
ISO 26262
Data Coupling & Control Coupling
IEEE SMC-IT/SCC 2025
DASC 2025
DO-178C Multicore In-person Training (Fort Worth, TX)
DO-178C Multicore In-person Training (Toulouse)
This year we are joining forces with Visure and Consunova at the Aerospace Tech Week Europe exhibition (Booth: 722). Aerospace Tech Week is an event that has been expanding the technology sectors that it covers since its AVIONICS origins in 2001. It now also synergistically covers CONNECTIVITY, MRO IT, FLIGHT OPS IT, TESTING, MRO, SPACE & SUSTAINABILITY. Watch the Keynote address opposite from the recent event to see how this all fits together. Aerospace Tech Week consists of multiple events all under one roof with dedicated respected conferences tracks for its core technologies as well as a large central exhibition.
You can view our virtual stand, access documents and book meetings with the Rapita Team on the stand here.
|
What does it take to certify multicore avionics for DO-178C? |
||
|---|---|---|
|
14:15-14:30 |
Dr. Guillem Bernat |
|
Multicore systems present certification challenges due to the impact of interference from software running on different cores reducing the predictability of behavior of hosted applications. This includes both timing behavior and software data coupling and control coupling. Identifying interference channels and verifying a system’s ability to operate reliably given the interference present on the platform form the main thrust of the airworthiness guidance, but what does it take to do this analysis and verification?
In his presentation, Dr. Bernat will provide some insights to help answer these questions, using anonymized data collected from multicore verification projects Rapita has delivered as part of the MACH178 solution.
Dr. Guillem Bernat
Dr. Guillem Bernat is Head of Sales of Rapita Systems, which he co-founded in 2004 with Dr. Ian Broster and Dr. Antoine Colin as a spin-out from the Real-Time Systems Group of the University of York in the UK. Under his leadership both as CEO and Head of Sales, Rapita Systems has grown to become the leader in software analysis and verification, serving customers in major companies across the world. Dr. Bernat is one of the architects of the Rapita Verification Suite (RVS) tool-set. He has more than 70 published papers in international conferences and Journals, has lectured extensively in real-time systems and software verification and is a frequent speaker at international conferences.
