NantilusValidation par simulation fine d'une architecture opérationnelle
La validation des systèmes temps réels est une activité indispensable car les conséquences d'une erreur peuvent être catastrophiques. L'approche choisie dans cette thèse se situe en fin du cycle de développement, lorsque le logiciel applicatif est disponible. L'objectif visé est la si...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , |
| Autres auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Validation par simulation fine d'une architecture opérationnelle / Mikaël Briday; sous la dir. d' Yvon Trinquet, co-encadrant Jean-Luc Béchennec et co-encadrant industriel Matthieu Peseux |
| Publié : |
[S.l.] :
[s.n.]
, 2004 |
| Description matérielle : | 171 p. |
| Note de thèse : | Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004 |
| Disponibilité : | Publication autorisée par le jury |
| Sujets : |
| LEADER | 03818cam a2200433 4500 | ||
|---|---|---|---|
| 001 | PPN086961780 | ||
| 003 | http://www.sudoc.fr/086961780 | ||
| 005 | 20240531154500.0 | ||
| 029 | |a FR |b 2004NANT2097 | ||
| 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 Validation par simulation fine d'une architecture opérationnelle |b Texte imprimé |f Mikaël Briday |g sous la dir. d' Yvon Trinquet, co-encadrant Jean-Luc Béchennec et co-encadrant industriel Matthieu Peseux | |
| 210 | |a [S.l.] |c [s.n.] |d 2004 | ||
| 215 | |a 171 p. |c ill. |d 30 cm | ||
| 310 | |a Publication autorisée par le jury | ||
| 320 | |a Bibliogr. p. 167-171 | ||
| 328 | |b Thèse doctorat |c Automatique et informatique appliquée |e Nantes |d 2004 | ||
| 330 | |a La validation des systèmes temps réels est une activité indispensable car les conséquences d'une erreur peuvent être catastrophiques. L'approche choisie dans cette thèse se situe en fin du cycle de développement, lorsque le logiciel applicatif est disponible. L'objectif visé est la simulation d'une architecture opérationnelle comprenant une architecture matérielle décrite finement (processeurs et réseaux) et une architecture logicielle connue (indirectement) au travers des programmes exécutables (code applicatif et code système). Une contribution importante de la thèse se situe dans les mécanismes génériques d'extraction d'informations `a partir de la simulation "bas niveau" du code assembleur des programmes, pour en déduire des informations "haut niveau" exploitables par le concepteur. L' étude s'est focalisée sur l' étude du flot de données, l'analyse de l'ordonnancement du code final de l'application ainsi que l'analyse de la pile associée à chaque tâche, à travers l'outil ReTiS. | ||
| 330 | |a The validation of real time systems is an essential activity because consequences of an error could be catastrophic. The approach chosen in this PhD thesis is at the end of the development cycle, when the application software is available, at least important parts. The objective is the simulation of the whole operational architecture, which includes an accurate model of the hardware architecture (processors and network) and a software architecture, indirectly trough the executable code (application code and basic software). An important contribution of this thesis is based on generic mechanisms to extract information from the "low level" simulation of the assembly code in a distributed context, to deduce useful "high level" information to the developer. The work is focused on the data flow analysis, the analysis of the schedule of the final application code and the task's stack analysis, implemented into the ReTiS tool. | ||
| 606 | |3 PPN027333930 |a Temps réel (informatique) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN027234908 |a Traitement réparti |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN034589953 |a Analyse temporelle |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
| 606 | |3 PPN050514954 |a CAN (réseau d'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 PPN086961691 |a Briday |b Mikaël |f 1978-... |4 070 | |
| 702 | 1 | |3 PPN077231686 |a Trinquet |b Yvon |4 727 | |
| 702 | 1 | |3 PPN086974882 |a Béchennec |b Jean-Luc |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:230686133 |b 441092104 |j u | ||
| 930 | |5 441092306:232295468 |b 441092306 |a TH 2074 |j u | ||
| 998 | |a 408754 | ||