Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

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

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

Résumé

Le design de logiciel de contrôle/commande embarqué dépend de contraintes temporelles strictes. Pour cela, des formalismes et des théories basés sur la notion de temps logique permettent d'abstraire les durées temps-réel qui ne sont pas toujours connues au niveau conception. Cet article propose une comparaison des formalismes synchrones et du paradigme Logical Execution Time (LET) dans le but d'adapter au langage industriel PsyC, qui est proche du LET, des méthodes de vérification issues des langages synchrones.
Fichier principal
Vignette du fichier
etr21.pdf (178.98 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03545758 , version 1 (27-01-2022)

Identifiants

  • HAL Id : hal-03545758 , version 1

Citer

Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni. Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET). École d’Été Temps Réel 2021, Sep 2021, Poitiers, France. ⟨hal-03545758⟩
75 Consultations
67 Téléchargements

Partager

Gmail Facebook X LinkedIn More