paper-conference

Static Analysis of Contextual Memory Accesses for Safe Memory Sharing
Static analysis of contextual memory accesses in real-time kernels to help enforce safe memory-sharing policies between kernel and application components.
Florent Sagot, Jean Guyomarc'h, Fabien Siron
Source Document
Separation of Functional and Time Interference Concerns for Efficient AMC 20-193 Compliance
A time-aware design approach based on synchronous Logical Execution Time for separating functional and timing interference concerns in multicore avionics systems.
Damien Chabrol, Jean Guyomarc'h, Fabien Siron, Guillaume Phavorin, Sam Thompson, Eric Jenn, François Thurieau
PDF Source Document
Semantics Foundations of PsyC Based on Synchronous Logical Execution Time
Semantic foundations for the industrial PsyC language based on Synchronous Logical Execution Time, relating LET-style execution to synchronous-reactive semantics.
Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
PDF Source Document DOI
The Synchronous Logical Execution Time Paradigm
Introduction of synchronous Logical Execution Time (sLET), combining logical durations from LET with multiform logical clocks from synchronous-reactive systems.
Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
PDF Source Document
Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET)
French doctoral-session paper on adapting verification techniques from synchronous languages to real-time applications based on Logical Execution Time.
Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
PDF Source Document
Programming and Verifying Real-Time Design Using Logical Time
Early work comparing synchronous languages, Logical Execution Time, and PsyC with the objective of reusing synchronous verification techniques for LET-based real-time programs.
Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
PDF Source Document