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

58 Chapitre 3. Vers une méthodologie unifiée de modélisation AltaRica de systèmes physiques
Le but de l’approche présentée dans cette partie est de proposer une méthodologie systématique
supportant la modélisation du comportement d’un système en langage AltaRica. Pour
cela, il s’agira d’identifier, de manière systématique, les informations devant être incluses dans le
le modèle AltaRica. Nous nous intéresserons à l’identification des objectifs d’un tel modèle, aux
évènements qu’il devra propager et aux informations qu’il devra contenir pour permettre cette
propagation. Pour cela, l’approche présentée se propose :
– d’identifier l’information à extraire du système considéré ;
– de définir des abstractions permettant de propager cette information.
Au cours de cette section, nous verrons que l’approche proposée est très loin d’une approche
presse-bouton et que la charge restante à l’analyste en charge de la réalisation du modèle reste
conséquente. La section 3.2 présente le processus général de modélisation proposé pour la modélisation
de systèmes physiques et multi-physiques. Les concepts présentés seront utilisés dans la
section 3.3 présentant le cas d’étude puis dans les sections 3.4 à 3.7 s’intéressant à la modélisation
de systèmes physiques. Enfin, la section 3.8 discutera de formalisations possibles pour représenter
les informations identifiées aux sections précédentes.
3.1.2 Vision globale du processus de modélisation
Avant de rentrer dans les détails du processus de modélisation, nous donnons pour mieux
comprendre la suite une vision globale de ce que sera ce processus. Pour débuter et selon [9], le
processus de modélisation comprend 4 étapes majeures :
– analyse préliminaire :
– définition des objectifs de l’étude (spécification des besoins) ;
– définition du niveau de modélisation ;
– définition du périmètre du système étudié et du contenu du modèle, i.e. identification
des composants présents et de leurs interfaces,
– définition d’abstractions valides et pertinentes à propager dans le modèle ;
– spécification des comportements des composants élémentaires ;
– implémentation des comportements de chaque composant → Obtention d’une bibliothèque
de nœuds AltaRica ;
– instanciation et connexion des nœuds.
Monde physique
} {{ }
Monde AltaRica
} {{ }
Vue globale > Architecture du système Modèle global
↓
↑
Vue unitaire >
Analyse préliminaire
↓
Composants unitaires
Abstraction
−−−−−−−−−−→
Implémentation
Instanciation et Connexion
↑
Nœuds AltaRica
Figure 3.2 – Vision haut niveau du processus de modélisation [9]