Skip to main content
Magline joins Rapita Trailblazer Partnership Program to support DO-178 Certification
Eve Air Mobility joins Rapita Systems Trailblazer Partnership Program for eVTOL projects
Rapita Systems launches MACH178 Foundations for multicore DO-178C compliance
Collins Aerospace and Rapita present award winning paper at DASC 2024
Data Coupling Basics in DO-178C
Control Coupling Basics in DO-178C
Components in Data Coupling and Control Coupling
The ‘A’ Team comes to the rescue of code coverage analysis
DO-278A Guidance: Introduction to RTCA DO-278 approval
ISO 26262
Data Coupling & Control Coupling
Verifying additional code for DO-178C
DO-178C Multicore In-person Training (Fort Worth, TX)
DO-178C Multicore In-person Training (Toulouse)
Dr. Guillem Bernat is the CEO and one of the founders of Rapita Systems as a spin-out from the Real-Time Systems Research Group of the University of York in the UK.
Under his leadership both as CEO and Head of Sales, Rapita Systems has grown to 30 staff, serving customers in major companies across the world. Dr. Bernat is one of the architects of the Rapita Verification Suite (RVS) tool-set.
Dr. Bernat 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.
Safety critical avionics software needs to be developed according to strict software guidelines set in the DO-178B (and recently DO-178C) guidelines.
Guillem will be presenting a paper - "Verification of avionics software to meet DO-178B/C. What, why and how?"
In this talk we will present two challenging verification objectives that need to be satisfied: Structural code coverage and Worst-Case Execution Time Analysis.
We will explain the rationale behind them, the reasons of why satisfying these objectives is challenging based on real-line industrial case studies and how these projects have benefit by adopting state of the art software verification tools.
In this presentation we will discuss the following topics: DO-178B/C, requirements based testing, structural code coverage, MC/DC, on-target testing vs. on-host testing, tool qualification, worst-case execution time analysis and the challenges of verification of multicore based systems.
More info about the event: https://nmi.org.uk/event/software-validation-verification-4
Can't attend? Please contact us if you would like a copy of the paper.
