Semantics Foundations of PsyC Based on Synchronous Logical Execution Time

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni
May, 2023
PDF Source Document DOI

Abstract

This paper develops semantic foundations for PsyC, an industrial real-time language combining concepts from Synchronous-Reactive programming and Logical Execution Time. It uses the Synchronous Logical Execution Time framework to relate the native temporal behavior of PsyC programs to synchronous models, providing a basis for subsequent formal verification.

Type
Conference paper
Publication
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week ‘23), Workshop on Time-Centric Reactive Software (TCRS)
PsyC Synchronous-Reactive Systems Logical Execution Time Semantics Formal Verification
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

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