Separation of Functional and Time Interference Concerns for Efficient AMC 20-193 Compliance

Damien Chabrol, Jean Guyomarc'h, Fabien Siron, Guillaume Phavorin, Sam Thompson, Eric Jenn, François Thurieau
June, 2024
PDF Source Document

Abstract

The paper studies the integration of safety-critical software on multicore platforms in the context of AMC 20-193. It proposes a time-aware approach based on the synchronous Logical Execution Time paradigm to separate functional interference concerns from timing interference concerns and to simplify reasoning about multicore integration and certification.

Type
Conference paper
Publication
Embedded Real Time Systems (ERTS 2024)
Real-Time Systems Multicore Logical Execution Time Avionics Certification
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.