A Formal Correctness Proof for an EDF ...

Type de document :
Communication dans un congrès avec actes
DOI :
10.1109/RTAS54340.2022.00030
Titre :
A Formal Correctness Proof for an EDF Scheduler Implementation
Auteur(s) :
Vanhems, Florian [Auteur]
Rusu, Vlad [Auteur] refId
Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires [SYCOMORES]
Nowak, David [Auteur] refId
Centre National de la Recherche Scientifique [CNRS]
Grimaud, Gilles [Auteur] refId
Titre de la manifestation scientifique :
RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium
Ville :
Milan
Pays :
Italie
Date de début de la manifestation scientifique :
2022-05-04
Titre de l’ouvrage :
Proc. 28th IEEE Real-Time and Embedded Technology and Applications Symposium
Discipline(s) HAL :
Informatique [cs]/Systèmes embarqués
Résumé en anglais : [en]
The scheduler is a critical piece of software inreal-time systems. A failure in the scheduler can have seriousconsequences; therefore, it is important to provide strong cor-rectness guarantees for it. In this paper we ...
Lire la suite >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
Thumbnail