A Formal Correctness Proof for an EDF ...

Document type :
Communication dans un congrès avec actes
DOI :
10.1109/RTAS54340.2022.00030
Title :
A Formal Correctness Proof for an EDF Scheduler Implementation
Author(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
Conference title :
RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium
City :
Milan
Country :
Italie
Start date of the conference :
2022-05-04
Book title :
Proc. 28th IEEE Real-Time and Embedded Technology and Applications Symposium
HAL domain(s) :
Informatique [cs]/Systèmes embarqués
English abstract : [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 ...
Show more >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL
Files
Thumbnail
Thumbnail
Thumbnail