Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée

Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée

L implémentation d une nouvelle politique d ordonnancement au sein d un système d exploitation temps réel n est pas une tâche facile. Le passage de la spécification littéraire abstraite d une politique à une mise en œuvre sur une plateforme réelle exige que des choix de réalisation soient faits et q...

Description complète

Détails bibliographiques
Auteurs principaux : Boukir Khaoula (Auteur), Béchennec Jean-Luc (Directeur de thèse), Deplanche Anne-Marie (Directeur de thèse), Puaut Isabelle (Président du jury de soutenance), Roux Olivier-Henri (Membre du jury), Richard Pascal (Membre du jury), Hladik Pierre-Emmanuel (Membre du jury)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Mise en oeuvre de politiques d'ordonnancement temps réel multiprocesseur prouvée / Khaoula Boukir; sous la direction de Jean-Luc Béchennec et de Anne-Marie Deplanche
Publié : 2020
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès au texte intégral
Note de thèse : Thèse de doctorat : Automatique et Informatique appliquée : Nantes : 2020
Sujets :
Ordonnancement (informatique)
Temps réel (informatique)
Vérification de modèles (informatique)
>
Thèses et écrits académiques

Internet

http://www.theses.fr/2020NANT4032/document