The Synchronous Logical Execution Time Paradigm

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
June, 2022
PDF Source Document

Abstract

This paper introduces the synchronous Logical Execution Time paradigm, which combines the explicit logical durations of LET with logical clocks and synchronization mechanisms inspired by Synchronous-Reactive languages. The resulting model aims to retain implementation-oriented timing information while enabling synchronous reasoning and verification techniques.

Type
Conference paper
Publication
Embedded Real Time Systems (ERTS 2022)
Logical Execution Time Synchronous-Reactive Systems Real-Time Systems PsyC
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

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