Méthodes pour la validation de modèles formels pour la ... - ISAE

144 Chapitre 5. Cas d’étude et retour sur l’approche
5.1.2.2 Commentaires sur les durées d’analyse
Sur une configuration bureautique (Intel Celeron 3.06 GHz, 1 Go de RAM), les temps de
calculs pour ce modèle et en considérant les 3 évènements redoutés considérés (section 5.1.2.1)
sont fournis dans le tableau 5.3.
Étude d’un sous-système Étude du système global
Ordre 1 Quelques secondes De 1 à 5 minutes
Ordre 2 1 ou 2 minutes ≃ 15 minutes
Ordre 3 ≃ 15 minutes 17% des coupes en 15H...
Tableau 5.3 – Temps de calcul
D’après [33], le temps de calcul est proportionnel au nombre d’évènements présents dans le
modèle et exponentiel par rapport à l’ordre des séquences demandées. En augmentant la taille du
modèle, on peut donc supposer que le temps de calcul va augmenter de manière importante mais
linéaire tant que nous restons à des analyses d’ordres 1, 2 ou 3.
5.2 Bilan de l’activité de validation des modèles
Nous présentons dans cette section les activités ayant été réalisées pour valider les modèles
AltaRica construits. Ces activités sont alors fondées sur des activités de revue du modèle (section
5.2.1) et sur la comparaison entre les résultats fournis par le modèle et ceux des analyses classiques
de sécurité de type AMDE et arbres de défaillance (section 5.2.2). Finalement, nous montrons
en section plan : Chapitre 5 : Bilan Validation : vers le processus un exemple d’application du
processus de validation présenté au chapitre ??.
5.2.1 Revues des modèles
Actuellement, une première approche visant à valider le comportement du modèle est de
pratiquer une revue du modèle pour détecter d’éventuelles erreurs. Une telle activité de revue
consistera la plupart du temps à simuler un certains nombre de scénarios sur le modèle et observer
que le résultat obtenu est bien celui attendu. Si l’ingénieur en charge de la revue est familier avec le
langage AltaRica et avec l’outil, il est également possible de faire une revue du code implémentant
le comportement observé lors de la simulation (revue boîte noire / revue boîte blanche - section
4.3.3). Ces revues seront en pratique effectuées par :
– des ingénieurs ou des experts Sûreté de Fonctionnement ;
– des ingénieurs ou des experts des différents métiers traités dans les modèles (informatique,
mécanique, hydromécanique...).
Les deux types de revues sont alors complémentaires. En effet, là ou un ingénieur Sûreté
de Fonctionnement sera à même de confirmer l’approche employée (les objectifs du modèle, la
logique d’implémentation, le niveau d’abstraction...), l’ingénieur métier pourra quant à lui assurer
que les phénomènes physiques décrits le sont de manière correcte. Ensemble, ils pourront attester
de la bonne représentation des scénarios de pannes observés.