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

Chapitre 3
Vers une méthodologie unifiée de
modélisation AltaRica de systèmes
physiques
Sommaire
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.2 Processus de modélisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.3 Modélisation des bibliothèques : cas d’étude et analyse préliminaire . . . . . . 67
3.4 Modélisation d’un sous-système mécanique . . . . . . . . . . . . . . . . . . . 69
3.5 Modélisation d’un sous-système hydromécanique . . . . . . . . . . . . . . . . 80
3.6 Modélisation du système d’air principal . . . . . . . . . . . . . . . . . . . . . 88
3.7 Modélisation d’un sous-système logiciel . . . . . . . . . . . . . . . . . . . . . 90
3.8 Formalisation des données extraites . . . . . . . . . . . . . . . . . . . . . . . 92
3.9 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
55