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

3.8 Formalisation des données extraites 93
3.8.1 Pourquoi formaliser
On précise ici un ensemble, sans doute non exhaustif, de raisons, de justifications ou d’avantages
nous poussant à nous intéresser à la formalisation des données extraites aux sections précédentes.
– améliorer la traçabilité entre le système réel et le modèle ;
– faciliter la communication au sein d’un projet grâce à un formalisme commun aux différents
acteurs ;
– faciliter la mise à jour des études de Sûreté de Fonctionnement lors, par exemple, de l’intégration
au sein du système de nouveaux équipements ;
– faciliter la création de nouvelles études de Sûreté de Fonctionnement pour de nouvelles
configurations du système ;
– gérer simultanément plusieurs configurations de systèmes ;
– décrire de manière identique les dysfonctionnements d’un même composant réalisant les
mêmes fonctions dans le même environnement ;
– standardiser les termes utilisés dans les analyses de Sûreté de Fonctionnement (e.g. codification
des modes de défaillance) :
→ assurer la cohérence à l’intérieur d’une analyse de Sûreté de Fonctionnement et entre
des analyses différentes,
→ éviter la multiplication des données identiques (i.e. éviter d’avoir à plusieurs endroits
la même information) ;
– réduire le nombre d’interprétation possible des informations présentes dans une analyse de
sécurité ;
– faciliter la revue des modèles réalisés par les experts et / ou ingénieurs ;
– capitaliser le travail effectué...
... pour reprendre ce dernier point, nous pensons que cette spécification est plus qu’une
simple aide à la modélisation, qu’une simple « préparation » du modèle AltaRica. En effet, elle sera
un moyen performant de « capitaliser » les informations identifiées et présentées auparavant. Elle
devra pour cela décrire de manière aussi formelle que possible le comportement du composant en
incluant la description de ses interfaces avec son environnement et la description des différentes
variables utilisées. Par exemple, cette spécification devra contenir une description détaillée de
l’ensemble des variables utilisées en incluant leurs justifications (pourquoi avoir choisi ces variables,
pourquoi avoir choisi ce domaine de définition) et leurs significations (à quoi correspond telle valeur
de telle variable ?).
Avant de s’intéresser plus amplement à la forme de cette nécessaire (nous en sommes désormais
convaincus) formalisation, nous donnons ici quelques contraintes qui guideront (qui devront
guider) sa mise en place.
3.8.2 Des contraintes sur cette formalisation
Premièrement, si on ne demande pas à la spécification de représenter obligatoirement la
totalité des comportements du système étudié, ceux représentés devront l’être de manière correcte.
Second point, à mettre en relation avec le premier, la forme de cette spécification se devra
d’être compréhensible et comprise des experts et des ingénieurs. En effet, cette spécification (et
les informations contenues à l’intérieur) servira de fondement au modèle AltaRica devant être
construit. Une information incorrecte à l’intérieur de cette spécification aura donc des chances