Nantilus
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...
| Auteurs principaux : | , , |
|---|---|
| Collectivités 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 |
| 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 : | |
| 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 |
Table des matières indisponible