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

2.2 Syntaxe du langage AltaRica OCAS 35
courant du nœud (son environnement n’a alors pas accès à la valeur de cet état) et représente
ainsi les différents modes de fonctionnement et de dysfonctionnement du composant AltaRica.
Les variables de flux sont ainsi visibles et accessibles par l’extérieur du nœud ; les variables d’état
demeurent internes au nœud et ne le sont pas.
Dans les deux cas (variables de flux et d’état) et afin de déclarer de telles variables au sein
d’un nœud AltaRica, il est nécessaire de déclarer le nom de cette variable ainsi que son type. Deux
différences entre les deux types de variables : les variables de flux doivent se voir préciser leurs
orientations (i.e. si la variable de flux représente une entrée ou une sortie du nœud) ; les variables
d’état doivent être initialisées. La plupart du temps, les variables de flux et d’état seront de types
booléen ou énuméré (e.g. {ok, faible, nul}).
Écriture en BNF (resp. ) désigne
une liste contenant zéro, un ou plusieurs (resp. un ou plusieurs) éléments de type « construction »
séparés par « sep ».
::= flow
::= : :
::= chaîne de caractère alphanumérique ou le caractère "_"
::= { }
::= true
::= false
::= symbole
::= in
::= out
Variables de flux
Variables d’état
flow
state
entree : {ok, faible, nul} : in ; bloque : bool ;
sortie : {ok, faible, nul} : out ; etat : {ouverte, fermee} ;
init
bloque :=false, etat :=ouverte
Figure 2.2 – Définition des variables de flux et d’état en langage AltaRica
2.2.3 Évènements
Au sein d’un nœud AltaRica, les évènements modélisent les phénomènes provoquant les
changements d’états. D’un point de vue purement automate, il s’agit uniquement d’une étiquette
que l’on place sur une transition (cf. figure 2.1 qui contient 3 évènements).
En pratique et la plupart du temps, les évènements modélisés dans le nœud AltaRica représentent
des défaillances ou des reconfigurations du composant. Il est possible d’associer à chacun
des évènements une loi de probabilité. Ces lois de probabilités seront utiles lors de l’analyse quantitative
du modèle AltaRica (un modèle sans loi de probabilité permettra cependant une analyse
purement qualitative du système représenté) . Dans le cas de défaillance, cette loi pourra être par
exemple une loi exponentielle ou une loi de Weibull. Dans le cas de reconfiguration ou de propagation,
on utilisera souvent une loi en Dirac(0) (une telle loi signifie que l’évènement sera tiré
de manière certaine dès que cela deviendra possible) ; l’évènement sera alors qualifié d’évènement