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
What does AMACC Rev B mean for multicore certification?
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?
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)
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.
