Programming and Verifying Real-Time Design Using Logical Time

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

Abstract

This work investigates the relationship between Synchronous-Reactive languages, Logical Execution Time, and the industrial PsyC language. It outlines how synchronous representations can provide a route toward functional and logical-time verification techniques for PsyC programs.

Type
Conference paper
Publication
Forum on Specification & Design Languages (FDL 2021), PhD/WiP Forum
Logical Execution Time Synchronous-Reactive Systems PsyC Formal Verification
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

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