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...
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 : |
| LEADER | 04144cam a2200433 4500 | ||
|---|---|---|---|
| 001 | PPN086965077 | ||
| 003 | http://www.sudoc.fr/086965077 | ||
| 005 | 20240531154500.0 | ||
| 029 | |a FR |b 2004NANT2098 | ||
| 035 | |a (OCoLC)491934689 | ||
| 100 | |a 20050511d2004 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng | |
| 102 | |a FR | ||
| 105 | |a a m 000yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Analyse exhaustive du comportement temporel de tâches et messages temps réel |b Texte imprimé |f Imad Alzeer |g sous la dir. de Yvon Trinquet et co-encadrant Pierre Molinaro | |
| 210 | |a [S.l.] |c [s.n.] |d 2004 | ||
| 215 | |a pagination multiple |c ill. |d 30 cm | ||
| 310 | |a Publication autorisée par le jury | ||
| 320 | |a Bibliogr. | ||
| 328 | |b Thèse doctorat |c Automatique et informatique appliquée |e Nantes |d 2004 | ||
| 330 | |a 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édence, et leurs durées sont variables mais bornées. L'architecture support d'exécution est monoprocesseur et répartie. Le réseau support de l'étude est CAN. La communication locale entre les tâches s'effectue sans coût temporel, tandis que la communication distante s'effectue avec un coût dépendant des données. L'ordonnancement est globalement non préemptif, et les priorités sont associées statiquement aux tâches comme aux messages. L'échelle temporelle du traitement est discrète. Un lien de communication a le sens strict d'une contrainte de précédence. La complexité des structures de précédence dépend de la catégorie du système : pour un système monoprocesseur, elle peut être acyclique ou arborescente, à condition que le successeur soit moins prioritaire que ses prédécesseurs. Pour un système réparti, la précédence est en forme arborescente sans aucune contrainte sur l'ordre de priorité. Dans les deux cas, la précédence peut être généralisée. | ||
| 330 | |a In this thesis, we present a method that permits to verify the satisfaction of timing constraints in real time systems. This method is based on the exact calculations for the two response time bounds of tasks and messages. Generally, tasks and messages are periodic, having precedence constants or not, and their durations are variable but bounded. The used model deals with mono-processor and distributed systems where the CAN network is used. Local communication between tasks on the same processor needs no time, while the distant tasks communicate through the network with a transmission time depending on data. Globally, the scheduling is non preemptive, priorities are attributed statically for tasks as for messages, and time is discrete. Complexity of precedence depends on the systems type : in mono-processor, it may be in-tree and /or out-tree provided that the successor is lower priority than its predecessors. In distributed systems, only precedence may be out-tree without restrictions on the priority order. In both categories, the precedence may be generalized. | ||
| 606 | |3 PPN027333930 |a Temps réel (informatique) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN027673529 |a Génie logiciel |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN027249891 |a Systèmes d'exploitation (ordinateurs) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 686 | |a 004 |2 TEF | ||
| 686 | |a 620 |2 TEF | ||
| 700 | 1 | |3 PPN086961187 |a Alzeer |b Imad |f 1968-... |4 070 | |
| 702 | 1 | |3 PPN077231686 |a Trinquet |b Yvon |4 727 | |
| 702 | 1 | |3 PPN08696237X |a Molinaro |b Pierre |4 727 | |
| 712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 712 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
| 801 | 3 | |a FR |b Abes |c 20171204 |g AFNOR | |
| 979 | |a ECN | ||
| 979 | |a SCI | ||
| 930 | |5 441092104:230696848 |b 441092104 |j u | ||
| 930 | |5 441092306:232297614 |b 441092306 |a TH 2073 |j u | ||
| 998 | |a 408757 | ||