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

3.8 Formalisation des données extraites 97
Remarque : Ces diagrammes permettent ainsi une représentation du comportement interne d’un
système. Pour que cette représentation reste simple et lisible, on se limitera à représenter
le comportement d’un composant élémentaire.
Remarquons également que les étiquettes des transitions permettent la représentation
du comportement interne (changement d’état suite à un évènement interne du
composant) mais aussi des changements d’états suite à un changement des valeurs
d’entrées (figure 3.15).
3.8.6 Diagrammes états-transitions étendus pour les automates de mode
Pour aller plus loin, ces diagrammes états-transitions sont en mesures de représenter les
valeurs des variables de sortie du composant. Pour appréhender cela, nous pouvons nous rapprocher
de la notion d’automate de mode (Cf. section 2.3) qui rappelons-le se propose d’adjoindre la notion
de flux aux diagrammes états-transitions classiques. Sans prétendre fournir un automate de mode
complet, nous nous proposons de compléter les diagrammes états-transitions en fournissant dans
chaque état les équations définissant les valeurs des variables de sortie. Ainsi, on combine la
vue graphique des diagrammes états-transitions avec les tables de décision permettant de définir
les sorties en mode de fonctionnement (esprit semblable à la méthode SCR) où en mode de
dysfonctionnement (esprit semblable à l’AMDE formelle). La figure 3.13 devient alors la figure 3.14.
Ouvert
OUT = IN
F ermeture
−−−−−−−→
←−−−−−−−
Ouverture
Fermé
OUT = False
Figure 3.14 – Exemple de diagramme états-transitions avec définition des variables de sorties
Pour plus de détails dans la représentation graphique et lorsque les équations définissant
les sorties sont complexes, il peut être souhaité de représenter le diagramme des configurations
(figure 3.15). Si on gagne en lisibilité dans les écritures des équations, on augmente le nombre de
« boîtes » dans le diagramme.
Remarque : Pour appréhender correctement les termes, nous appellerons indifféremment
« mode » ou « état » les états du composant modélisé (i.e. les boîtes du diagramme
états-transitions). Nous appellerons « configuration » l’association d’un état et d’une
évaluation des variables d’entrée.
Ouvert
IN=T rue
OUT = T rue
IN -> False ↓ ↑ IN -> T rue
Ouvert
IN=False
OUT = False
F ermeture
−−−−−−−→
←−−−−−−−
Ouverture
F ermeture
−−−−−−−→
←−−−−−−−
Ouverture
Fermé
IN=T rue
OUT = False
IN -> False ↓ ↑ IN -> T rue
Fermé
IN=False
OUT = False
Figure 3.15 – Exemple de diagramme des configurations