Liste des figures
2.1 Système transformationnel versus système réactif ................................................ 12
2.2 Schéma d’un système temps réel ........................................................................... 13
2.3 Etats d’une tâche .................................................................................................... 14
2.4 Exemple d’architecture logicielle .......................................................................... 17
2.5 Exemple d’une architecture distribuée .................................................................. 18
3.1 Arbre des systèmes sûrs de fonctionnement .......................................................... 28
3.2 Classes de fautes .................................................................................................... 29
3.3 Relation entre faute, erreur et défaillance .............................................................. 30
3.2 Couverture entre hypothèses de défaillances ......................................................... 32
4.1 Exemple d’un processeur ....................................................................................... 43
4.2 Exemple d’un processeur doté d’un DMA ............................................................ 44
4.3 Exemple d’une architecture multiprocesseur distribuée ........................................ 44
4.4 Exemple d’une architecture à liaisons point à point .............................................. 45
4.5 Exemple d’une architecture à liaisons bus ............................................................ 46
4.6 Communication intra-processeurs ........................................................................ 47
4.7 Communication inter-processeurs ........................................................................ 47
4.8 Exemple d’un graphe d’algorithme ....................................................................... 48
4.9 Exemple d’un graphe d’algorithme sans dépendances de données ....................... 48
5.1 Exemple de la réplication active ............................................................................ 55
5.2 Exemple de la réplication passive ......................................................................... 58
6.1 Architecture liaison à bus ...................................................................................... 64
6.2 Exemple d’un graphe d’algorithme avec tâches indépendantes ............................ 65
6.3 Méthodologie AAA-FAULT
t.ind
............................................................................ 68
6.4 Exemple de transformation d’un graphe d’algorithme .......................................... 69
6.5 Exemple d’un graphe d’algorithme avec tâches dépendantes ............................... 78
6.6 Méthodologie AAA-FAULT
t.dep
............................................................................ 81
6.7 Exemple de transformation d’un graphe flot de données ...................................... 82
7.1 Effet de la réplication passive pour P = 6 et N =50 ............................................... 91
7.2 Effet de N sur AAA-FAULTt.dep et AAA pour p=5 et CCR=2 ........................... 92
7.3 Effet du nombre de processeurs sur le surcoût pour N= 40 CCR=1 .................... 92
7.4 Etapes de génération aléatoire d’un graphe d’algorithme ..................................... 93