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...
Full description
Saved in:
Bibliographic Details
| Main Author : |
Alzeer Imad
(Auteur) |
| Corporate Authors : |
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) |
| Other Authors : |
Trinquet Yvon
(Directeur de thèse),
Molinaro Pierre
(Directeur de thèse) |
| Format : |
Thesis |
| Language : |
français |
| Title statement : |
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 |
| Published : |
[S.l.] :
[s.n.]
, 2004
|
| Physical Description : |
pagination multiple |
| Note de thèse : |
Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004 |
| Availability : |
Publication autorisée par le jury |
| Subjects : |
|
Nantilus
