Validation 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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Briday Mikaël (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Autres auteurs : Trinquet Yvon (Directeur de thèse), Béchennec Jean-Luc (Directeur de thèse)
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