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
Enregistré dans:
Détails bibliographiques
Auteur principal : |
Alzeer Imad
(Auteur) |
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) |
Autres auteurs : |
Trinquet Yvon
(Directeur de thèse),
Molinaro Pierre
(Directeur de 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 |
Note de thèse : |
Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004 |
Disponibilité : |
Publication autorisée par le jury |
Sujets : |
|