Nantilus
Model-driven architecture exploration for fault tolerance improvement
La fiabilité devient une caractéristique très importante du processus de conception d un système embarqué. Par conséquent, l'élaboration de stratégies de tolérance aux fautes fait également partie des priorités lors des premières phases de conception des systèmes embarqués. Cette thèse vise à é...
Enregistré dans:
| Auteurs principaux : | , , , , , , |
|---|---|
| Collectivités auteurs : | , , , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Model-driven architecture exploration for fault tolerance improvement / Tien Thanh Nguyen; sous la direction de Sébastien Pillement et de Mathieu Thevenin |
| Publié : |
2019 |
| Accès en ligne : |
Accès Nantes Université
|
| Note sur l'URL : | Accès au texte intégral |
| Note de thèse : | Thèse de doctorat : Electronique : Nantes : 2019 |
| Sujets : |
| LEADER | 07035clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN248543962 | ||
| 003 | http://www.sudoc.fr/248543962 | ||
| 005 | 20240531154500.0 | ||
| 029 | |a FR |b 2019NANT4059 | ||
| 033 | |a http://www.theses.fr/2019NANT4059 | ||
| 035 | |a (OCoLC)1371481248 | ||
| 035 | |a STAR132042 | ||
| 100 | |a 20200819d2019 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||ma 00|yy | ||
| 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 Model-driven architecture exploration for fault tolerance improvement |f Tien Thanh Nguyen |g sous la direction de Sébastien Pillement et de Mathieu Thevenin | |
| 214 | 1 | |d 2019 | |
| 230 | |a Données textuelles | ||
| 304 | |a Titre provenant de l'écran-titre | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) | ||
| 314 | |a Partenaire(s) de recherche : Université Bretagne Loire (2016-2019) (COMUE), Institut d'Électronique et de Télécommunications (Rennes) (Laboratoire), Département de métrologie, instrumentation et information (Gif-sur-Yvette, Essonne ; 2008-....) (Equipe de recherche) | ||
| 314 | |a Autre(s) contribution(s) : Alexandre Nketsa (Président du jury) ; Florence Maraninchi, Olivier Pasquier (Membre(s) du jury) ; Samy Meftali (Rapporteur(s)) | ||
| 328 | 0 | |b Thèse de doctorat |c Electronique |e Nantes |d 2019 | |
| 330 | |a La fiabilité devient une caractéristique très importante du processus de conception d un système embarqué. Par conséquent, l'élaboration de stratégies de tolérance aux fautes fait également partie des priorités lors des premières phases de conception des systèmes embarqués. Cette thèse vise à établir un cadre permettant de trouver la meilleure solution de plate-forme pour une application donnée dans des systèmes multiprocesseurs hétérogènes. La solution trouvée doit être intégrée à la tolérance aux fautes. Un nouveau méta-modèle de plateforme intégrant la tolérance aux fautes est présenté qui joue le rôle d'infrastructure pour construire des modèles. Les modèles sont ensuite entrés dans un processus d'exploration de l'espace de conception. Dans la spécification utilisateur, les dimensions explorées incluent le choix du composant, le mapping des tâches, le mapping des données et le choix de la stratégie de tolérance aux fautes. Une nouvelle solution est générée et évaluée en matière de temps d'exécution, de coût et de niveau de fiabilité. Ensuite, un processus d'optimisation explore la meilleure solution parmi les espaces de conception. Un nouvel outil avec une interface utilisateur graphique permet de modéliser et d exécuter le processus d exploration. Il simplifie le processus en interagissant avec l'utilisateur via l'interface graphique et en automatisant le processus d'exploration de l'espace de conception. L'évaluation de la plate-forme MPSoC hétérogène sous l'impact de fautes transitoires et permanentes est une partie très importante de l exploration pour aider des concepteurs à choisir la stratégie de tolérance aux fautes appropriée en ce qui concerne un compromis avec les exigences de l'application. Enfin, des études de cas sont investies. Les résultats expérimentaux ont montré que le cadre DSE fournit une exploration efficace de grands espaces de conception. | ||
| 330 | |a Reliability becomes a very important feature in the design process of an embedded system. Therefore, the development of fault tolerance strategies is also among the priorities in the early design phases of embedded systems. This thesis aims to establish a framework that allows finding the best platform solution for a given application in heterogeneous Multi- Processor System-on-Chip (MPSoC) systems. The found solution must be integrated the fault tolerance. A new platform meta-model integrated the fault tolerance is presented that roles an infrastructure to build models. The models are then inputs to a Design Space Exploration process. From the user specification, explored dimensions include hardware choice, task mapping, data mapping, and fault-tolerance-strategy choice. A new solution is generated and evaluated in terms of execution time, cost and, reliability level. Then, an optimization process will explore the best solution among the design space. A new tool with a graphical user interface allows to model and run the DSE process. It simplifies the process by interacting with the user through the graphical interface and automating the process of exploring design space. Evaluation of heterogeneous MPSoC platform under the impact of transient and permanent faults is a very important part of the DSE to help designers choose the appropriate strategy fault tolerance regarding a compromise with the requirements of the application. Finally, case-studies are invested. Experimental results showed that the DSE framework provides an effective exploration of large design space. | ||
| 337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 541 | | | |a Exploration architecturale pour la tolérance aux fautes |z fre | |
| 606 | |3 PPN033217521 |a Systèmes embarqués (informatique) |2 rameau | ||
| 606 | |3 PPN034592040 |a Tolérance aux fautes (ingénierie) |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a MPSoC | |
| 686 | |a 500 |2 TEF | ||
| 700 | 1 | |3 PPN248543067 |a Nguyen |b Tien Thanh |f 1991-.... |4 070 | |
| 701 | 1 | |3 PPN096192771 |a Pillement |b Sébastien |f 19..-.... |4 727 | |
| 701 | 1 | |3 PPN143814664 |a Thevenin |b Mathieu |f 1981-.... |4 727 | |
| 701 | 1 | |3 PPN035826479 |a Nketsa |b Alexandre |f 19..-.... |4 956 | |
| 701 | 1 | |3 PPN07916241X |a Meftali |b Samy |f 1975-.... |c auteur en informatique |4 958 | |
| 701 | 1 | |3 PPN060569026 |a Maraninchi |b Florence |f 19..-.... |c informaticienne |4 555 | |
| 701 | 1 | |3 PPN09274365X |a Pasquier |b Olivier |4 555 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN204770424 |a École doctorale Mathématiques et sciences et technologies de l'information et de la communication |c Rennes |4 996 |
| 711 | 0 | 2 | |3 PPN191639044 |a Université Bretagne Loire |c 2016-2019 |4 985 |
| 711 | 0 | 2 | |3 PPN149256035 |a Institut d'Électronique et de Télécommunications |c Rennes |4 981 |
| 711 | 0 | 2 | |3 PPN238252159 |a Département de métrologie, instrumentation et information |c Gif-sur-Yvette, Essonne |c 2008-.... |4 984 |
| 801 | 3 | |a FR |b Abes |c 20240515 |g AFNOR | |
| 856 | 4 | |q PDF |s 8046001 |u http://www.theses.fr/2019NANT4059/document |z Accès au texte intégral | |
| 856 | 4 | |u https://archive.bu.univ-nantes.fr/pollux/show.action?id=6eb09536-3c0e-46e7-aa14-a1293dcdbb8a | |
| 856 | 4 | |u http://www.theses.fr/2019NANT4059/abes | |
| 930 | |5 441099901:820760900 |b 441099901 |j g | ||
| 991 | |5 441099901:820760900 |a exemplaire créé automatiquement par STAR | ||
| 998 | |a 871647 | ||