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...

Full description

Saved in:
Bibliographic Details
Main Authors : 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)
Corporate Authors : 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 : Thesis
Language : français
Title statement : 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
Published : 2020
Online Access : Via Nantes Université network
Online Access note : Accès au texte intégral
Note de thèse : Thèse de doctorat : Automatique et Informatique appliquée : Nantes : 2020
Subjects :
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