Nantilus
Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes
La conception des systèmes temps réel passe la production d'une architecture opérationnelle validée. Cette architecture est le fruit d'un placement des éléments logiciels sur le support matériel d'exécution, tout en s'assurant du respect des contraintes opérationnelles. Cette thè...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Collectivités auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes / Pierre-Emmanuel Hladik; sous la dir. de Yvon Trinquet et co-encadrant Anne-Marie Déplanche |
| Publié : |
[S.l.] :
[s.n.]
, 2004 |
| Description matérielle : | 218 p. |
| 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:
Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
| LEADER | 04163cam a2200529 4500 | ||
|---|---|---|---|
| 001 | PPN086970801 | ||
| 003 | http://www.sudoc.fr/086970801 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2004NANT2096 | ||
| 035 | |a (OCoLC)491948214 | ||
| 100 | |a 20050511d2004 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a m 000yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 200 | 1 | |a Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes |f Pierre-Emmanuel Hladik |g sous la dir. de Yvon Trinquet et co-encadrant Anne-Marie Déplanche | |
| 210 | |a [S.l.] |c [s.n.] |d 2004 | ||
| 215 | |a 218 p. |c ill. |d 30 cm | ||
| 316 | |5 441092104:23070929X |a Titre temporairement indisponible à la communication | ||
| 320 | |a Bibliogr. p. 211-218 | ||
| 328 | |b Thèse doctorat |c Automatique et informatique appliquée |e Nantes |d 2004 | ||
| 330 | |a La conception des systèmes temps réel passe la production d'une architecture opérationnelle validée. Cette architecture est le fruit d'un placement des éléments logiciels sur le support matériel d'exécution, tout en s'assurant du respect des contraintes opérationnelles. Cette thèse aborde deux thèmes : la validation d'une architecture opérationnelle et la recherche d'un placement valide. Les systèmes étudiés sont préemptifs, à priorités fixes avec des architectures matérielles distribuées. Le problème de la validation est abordé par le calcul des pires temps de réponse des tâches à l'aide de méthodes analytiques. Cette étude répertorie les méthodes existantes, définit leur cadre applicatif, et en propose des extensions. Le problème du placement est traité à l'aide des techniques de la programmation par contraintes. L'objectif est de valider cette démarche en proposant une modélisation du problème et en mettant en place des mécanismes capables de prendre en considération les particularités du placement pour les systèmes temps réel. | ||
| 330 | |a The conception of real-time systems needs to produce a validated operational architecture. This architecture results from the mapping of the software architecture onto the hardware architecture in order to achieve timing correctness. This document deals with distributed, pre-emptive real-time systems with fixed priorities. This thesis addresses with the validation of operational architectures through analytical analysis. Our work itemizes classical approaches, classifies these methods and introduces some extensions. The second part of our work introduces a new method for the mapping with constraint programming solver. The feasibility of this technique is shown via the introduction of a specific model that takes into account behaviours of real-time systems. | ||
| 371 | 1 | |a Publication autorisée par le jury | |
| 456 | | | |0 246803401 |t Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes |f Pierre-Emmanuel Hladik |d 2004 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [ Grenoble thèses] | |
| 606 | |3 PPN027333930 |a Temps réel (informatique) |2 rameau | ||
| 606 | |3 PPN027756246 |a Ordonnancement (gestion) |2 rameau | ||
| 606 | |3 PPN033128804 |a Programmation par contraintes |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 686 | |a 004 |2 TEF | ||
| 686 | |a 620 |2 TEF | ||
| 700 | 1 | |3 PPN050322672 |a Hladik |b Pierre-Emmanuel |f 19..-.... |4 070 | |
| 701 | 1 | |3 PPN077231686 |a Trinquet |b Yvon |4 727 | |
| 701 | 1 | |3 PPN030979110 |a Deplanche |b Anne-Marie |f 1960-.... |4 727 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 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 20231215 |g AFNOR | |
| 979 | |a ECN | ||
| 979 | |a SCI | ||
| 930 | |5 441092104:23070929X |b 441092104 |j g | ||
| 930 | |5 441092306:232294194 |b 441092306 |a TH 2072 |j u | ||
| 991 | |5 441092104:23070929X |a Exemplaire modifié automatiquement le 18-07-2024 18:37 | ||
| 998 | |a 408769 | ||