pip-edf-scheduler
Ce projet est un planificateur et ordonnanceur de tâches pour les systèmes temps réel, basé sur la politique EDF (Earliest Deadline First). Il est accompagné d'une preuve formelle de sa correction, écrite dans le langage de preuve Coq.
Cas d'utilisation métiers
- Vérification formelle de la planification et de l'ordonnancement des tâches : rechercher des initiatives proches
- Planification et ordonnancement de tâches pour les systèmes temps réel : rechercher des initiatives proches
- Garantie de l'exécution des tâches dans les délais impartis : rechercher des initiatives proches
Description générée le mercredi 20 mars 2024 à 10:21:18