UNIVERSITE DE MANNOUBA                                                                     Mardi 7 décembre 2004

ECOLE NATIONALE DES SCIENCES

DE L'INFORMATIQUE

 

EXAMEN DE SURETE DE FONCTIONNEMENT

 

Observation : documents non autorisés

Enseignant responsable : M. Tagina

 

Questions de cours (6 points)

1/ Rappeler, comment peut-on prendre en considération la maintenance lors de la conception.- 2/ Comment

2/ construit-on la grille de criticité et à quoi peut-elle servir ?

 

Exercice 2 (8 points) .

Soit à surveiller les variables V1, V2 et V3 avec les contraintes suivantes :

 2V1+ 3V3 + 5pV5 = 0

pV2+3V3+V4+p2 V 5 = 0

 V1+ 2V2 +3pV3+ V4 + 4V5 = 0

V3+ pV4+2pV5= 0/

3V1+ pV2 + p2V5 =0

où p désigne l'opérateur de Laplace.

1/ Appliquer la méthode de substitution pour générer un ensemble de relations de redondance

analytique.

2/ Appliquer la méthode de projection pour générer un ensemble de relations de redondance

analytique

3/Donner le tableau de signature associé à ces relations de redondance. Est-il possible de

détecter et localiser les pannes sur V1, V2 et V3.

 

Exercice 3 (6 points)

Un programme informatique comporte 3 procédures PI, P2 et P3 ainsi que 4 fonctions Fl, F2,

F3 et F4. Certaines procédures et fonctions peuvent faire appel aux autres comme indiqué ci-dessous

 

- P2 fait appel à PI et 171

- P3 fait appel à Pl.

-  F I fait appel à P3 et F3.

- F2 fait appel à F4.

- F4 fait appel à Pl et F3.

Le programme principal utilise (Pl) ensuite ((P2 ou (F3 et F4)) et ensuite ((P3) ou Construire le diagramme d'Ishikawa.