Programming and verifying real-time design using logical time - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Programming and verifying real-time design using logical time

Robert de Simone
Damien Chabrol
  • Fonction : Auteur
  • PersonId : 1123759
Amira Methni

Résumé

The design of embedded control software calls for stringent real-time constraints. For that, formalisms and theories based on the notion of logical time give abstraction of real-time durations that are usually not known at design level. Comparison between synchronous languages, Logical Execution Time (LET) and the PsyC language can be fruitful, in our case, with the goal of empowering the industrial language PsyC, which is close to LET, with (logical) time and functional verification methods inspired from synchronous languages.
Fichier principal
Vignette du fichier
FDL21_paper_30.pdf (118.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03537976 , version 1 (21-01-2022)

Identifiants

  • HAL Id : hal-03537976 , version 1

Citer

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni. Programming and verifying real-time design using logical time. FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨hal-03537976⟩
131 Consultations
84 Téléchargements

Partager

Gmail Facebook X LinkedIn More