Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET)

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

Abstract

This paper compares synchronous formalisms and Logical Execution Time in the context of the PsyC language. Its objective is to study how verification techniques developed for synchronous systems can be adapted to LET-based real-time applications.

Type
Conference paper
Publication
École d’Été Temps Réel (ETR 2021), Session Doctorants
Logical Execution Time Real-Time Systems Formal Verification PsyC
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

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