Analyse exhaustive du comportement temporel de tâches et messages temps réel

Analyse exhaustive du comportement temporel de tâches et messages temps réel

Dans cette thèse, nous présentons une méthode de vérification du respect des contraintes temporelles en se basant sur le calcul exact des deux bornes du temps de réponse des tâches et des messages dans un système temps réel. Les tâches et messages sont généralement périodiques, avec ou sans précéden...

Description complète

Détails bibliographiques
Auteurs principaux : Alzeer Imad (Auteur), Trinquet Yvon (Directeur de thèse), Molinaro Pierre (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Analyse exhaustive du comportement temporel de tâches et messages temps réel / Imad Alzeer; sous la dir. de Yvon Trinquet et co-encadrant Pierre Molinaro
Publié : [S.l.] : [s.n.] , 2004
Description matérielle : pagination multiple
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004
Sujets :
Temps réel (informatique)
Génie logiciel
Systèmes d'exploitation (ordinateurs)
Thèses et écrits académiques
Documents associés : Reproduit comme: Analyse exhaustive du comportement temporel de tâches et messages temps réel
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Communication impossible 2004 NANT 2098 Empruntable Disponible
Communication impossible 2004 NANT 2098 Exclu du prêt Disponible

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Magasin 3 TH 2073 bis Empruntable Disponible
Magasin 3 TH 2073 Exclu du prêt Disponible