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...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , |
Autres auteurs : | , |
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 : |
Table des matières indisponible