Nantilus
Le modèle BGW pour les systèmes temps réel surchargés : Ordonnancement monoprocesseur
Les systèmes temps-réel embarqués se retrouvent dans des domaines d application très variés : avionique, automobile, environnement, santé, etc. Ils doivent offrir un nombre croissant de fonctionnalités et fournir un niveau maximal de Qualité de Service (QdS) et ce, malgré des défaillances liées à l...
| Auteurs principaux : | , , , , , , |
|---|---|
| Collectivités auteurs : | , , , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Le modèle BGW pour les systèmes temps réel surchargés : Ordonnancement monoprocesseur / Mohamed Ould Sass; sous la direction de Maryline Chetto |
| Publié : |
Nantes :
Université de Nantes
, 2015 Ville de diffusion : Nom du diffuseur , Date de diffusion |
| Accès en ligne : |
Accès Nantes Université
|
| Note de thèse : | Reproduction de : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2015 |
| Sujets : | |
| Documents associés : | Reproduction de:
Le modèle BGW pour les systèmes temps réel surchargés |
| LEADER | 06462clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN221562753 | ||
| 003 | http://www.sudoc.fr/221562753 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2015NANT2087 | ||
| 035 | |a (OCoLC)1247938496 | ||
| 100 | |a 20171214d2015 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a va 001yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | 1 | |6 z01 |c txt |2 rdacontent | |
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | 1 | |6 z01 |c c |2 rdamedia | |
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Le modèle BGW pour les systèmes temps réel surchargés |e Ordonnancement monoprocesseur |f Mohamed Ould Sass |g sous la direction de Maryline Chetto | |
| 214 | 2 | |a Nantes |c Université de Nantes |d 2015 | |
| 214 | 2 | |a Ville de diffusion |c Nom du diffuseur |d Date de diffusion | |
| 230 | |a Données textuelles | ||
| 307 | |a L'impression du document génère 150 p. | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale sciences et technologies de l'information et de mathématiques (STIM) (Nantes) | ||
| 314 | |a Partenaire de recherche : Institut de recherche en communications et cybernétique (IRCCyN) (Nantes) (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Laurent George (Président du jury) ; Olivier Sename, Rosa Abbou (Membre du jury) ; Samia Bouzefrane, Daniel Simon (Rapporteurs) | ||
| 320 | |a Bibliogr. p.139-148 | ||
| 325 | 1 | |a La thèse papier est la seule version officielle | |
| 328 | 0 | |z Reproduction de |b Thèse de doctorat |c Automatique et informatique appliquée |e Nantes |d 2015 | |
| 330 | |a Les systèmes temps-réel embarqués se retrouvent dans des domaines d application très variés : avionique, automobile, environnement, santé, etc. Ils doivent offrir un nombre croissant de fonctionnalités et fournir un niveau maximal de Qualité de Service (QdS) et ce, malgré des défaillances liées à l occurrence de fautes ou de surcharges de traitement. Pour ce type de système informatique, la QdS se mesure principalement en termes d échéances respectées car les programmes sont caractérisés par des dates de fin d exécution au plus tard. Dans cette thèse, nous considérons une architecture monoprocesseur pour une application temps réel dite ferme. La première contribution tient dans la proposition d un nouveau modèle de tâche appelé BGW qui permet de spécifier la nature de ses contraintes temporelles. Ce modèle est tiré des deux approches Skip-Over et Deadline Mechanism. La première est dédiée à la gestion des surcharges de traitement par la perte contrôlée de certaines instances de tâches. La seconde est une technique de tolérance aux fautes temporelles basée sur de la redondance logicielle dynamique passive avec deux versions. Dans une seconde partie, nous proposons de nouveaux ordonnanceurs temps réel basés sur EDF (Earliest Deadline First) pour des tâches BGW. Nous montrons comment maximiser la QdS tout en tenant compte des critères d équité de service. Une étude de performance en termes de QdS et d overheads conforte nos propositions. | ||
| 330 | |a Real-time embedded systems are found in various application domains. They have to offer an increasing number of functionalities and to provide the highest Quality of Service despite possible failures due to faults or processing overloads. In such systems, programs are characterized by upper bounds on finishing times and the QoS is assessed by the ratio of successful deadlines. In this thesis, we deal with this issue. We focus on a uniprocessor architecture in the framework of a firm real-time application that accepts deadline missing under some specified limits. Tasks are assumed to be periodic. Our first contribution lies in the proposition of a novel model for tasks which is called BGW model. It is drawn from two approaches respectively known as the skip-over model and the Deadline Mechanism. The first one provides timing fault-tolerance through passive dynamic software redundancy with two versions. The second one copes with transient processing overloads by discarding instances of the periodic tasks in a controlled and pre-specified way. We give a feasibility test for this model. In a second part, we describe the behavior of dynamic priority schedulers based on EDF (Earliest Deadline First) for BGW task sets. A performance analysis is reported which is mainly related to QoS evaluation and measurement of overheads (complexity of the scheduler). The following contribution concerns more sophisticated schedulers that permit to enhance the QoS as to improve service balancing. | ||
| 337 | |a Un logiciel capable de lire un fichier au format pdf | ||
| 455 | | | |0 221562621 |t Le modèle BGW pour les systèmes temps réel surchargés |o Ordonnancement monoprocesseur |f Mohamed Ould Sass |d 2015 |p 1 vol. (148 p.) | |
| 541 | | | |a BGW: New task model for overloaded real time systems. Monoprocessor scheduling |z eng | |
| 606 | |3 PPN027333930 |a Temps réel (informatique) |2 rameau | ||
| 606 | |3 PPN157667774 |a Ordonnancement (informatique) |2 rameau | ||
| 606 | |3 PPN11897310X |a Qualité de Service (télécommunications) |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 686 | |a 620 |2 TEF | ||
| 700 | 1 | |3 PPN221536361 |a Ould Sass |b Mohamed |f 1978-.... |4 070 | |
| 701 | 1 | |3 PPN097866962 |a Chetto |b Maryline |f 1959-.... |4 727 |4 555 | |
| 701 | 1 | |3 PPN061281190 |a George |b Laurent |f 1967-.... |4 956 |4 555 | |
| 701 | 1 | |3 PPN075416883 |a Bouzefrane |b Samia |f 19..-.... |4 958 |4 555 | |
| 701 | 1 | |3 PPN118165569 |a Simon |b Daniel |f 1954-.... |4 958 |4 555 | |
| 701 | 1 | |3 PPN106980130 |a Sename |b Olivier |f 1969-.... |c auteur en automatique |4 555 | |
| 701 | 1 | |3 PPN083728422 |a Abbou |b Rosa |f 1973-.... |4 555 | |
| 711 | 0 | 2 | |3 PPN187401039 |a Université Nantes-Angers-Le Mans - COMUE |c 2009-2015 |4 295 |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN068449399 |a École polytechnique de l'Université de Nantes |4 295 |
| 711 | 0 | 2 | |3 PPN134103211 |a École doctorale Sciences et technologies de l'information et mathématiques |c Nantes |4 295 |4 996 |
| 711 | 0 | 2 | |3 PPN113164726 |a Institut de recherche en communications et cybernétique |c Nantes |f 1958-2017 |4 295 |4 981 |
| 801 | 3 | |a FR |b Abes |c 20230206 |g AFNOR | |
| 856 | 4 | |q PDF |u https://archive.bu.univ-nantes.fr/pollux/show/show?id=f97b4a19-e66c-4a8b-a74f-b09cf86d6e8c |2 Accès au texte intégral de la thèse | |
| 979 | |a SCI | ||
| 930 | |5 441092104:598581103 |b 441092104 |j g | ||
| 998 | |a 798948 | ||