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

3.2 Processus de modélisation 65
// Transitions - Événement transitoire // Transitions - Événement inverse
ST = ok| − Evenement_transitoire →
ST = transitoire| −
ST := transitoire;
Evenement_inverse → ST := ok;
Dynamique du composant : Une fois les évènements et les ports d’E/S AltaRica identifiés, on
s’intéresse à la dynamique du composant : on s’intéresse aux transitions et aux assertions du nœud
AltaRica. En ce qui concerne les transitions, il faut s’intéresser 1) aux conditions sous lesquelles les
évènements peuvent avoir lieu et 2) au potentiel caractère transitoire des évènements. Le premier
point définit les gardes des transitions AltaRica (par exemple, un évènement peut n’être tirable
que dans un certain état) et permettront, entre autres choses, de modéliser des pannes en cascade.
Le second point identifie si l’évènement est permanent ou transitoire. Dans le cas d’évènements
transitoires, on ajoute au modèle un évènement « inverse ».
Enfin, pour spécifier les assertions AltaRica, on réalise différentes tables où les valeurs des
variables de sortie sont définies en fonctions de celles des variables d’entrée et de l’état interne du
nœud AltaRica. Ces tables sont écrites en se fondant sur les effets locaux des défaillances (dont
certains sont décrits dans l’AMDE) ainsi que sur sa propre compréhension du système.
3.2.2.4 Obtention d’une spécification de modèle AltaRica
Ci-dessous, un bilan des activités menées au long de cette section 3.2.2. Celles-ci nous
permettrons d’obtenir une « spécification » du modèle AltaRica à réaliser.
1. Identification des objectifs du modèle, des évènements redoutés à observer sur le système
étudié
2. Analyse fonctionnelle du système à étudier
(a) Décomposition du système global en sous-systèmes
(b) Identification des interfaces entre ces sous-systèmes
3. Pour chacun des sous-systèmes identifiés
(a) Déclinaison des évènements redoutés aux différents sous-systèmes
(b) Identification des composants ayant un impact sur l’occurrence des évènements redoutés
(c) Identification des interfaces entre ces composants
4. Pour chacun des composants identifiés
(a) Réalisation d’une analyse fonctionnelle
– Identification de ports d’E/S de haut niveau
– Identification des comportements fonctionnels
(b) Identification des comportements dysfonctionnels
(c) Identification de ports d’E/S raffinés
(d) Identification des domaines de définition des différentes variables
(e) Identification des lois de propagation (de la fonction de transfert du composant) et de la
dynamique relative aux comportements fonctionnels et dysfonctionnels du composant
On suppose donc ici que ces différentes étapes permettent l’obtention, pour chacun des
composants, d’une représentation (pouvant être de graphique, tabulaire...) que l’on nomme « spécification
» et qui comprend l’ensemble des informations que doit contenir le nœud AltaRica