Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
Méthodes pour la validation de modèles formels pour la ... - ISAE
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
48 Chapitre 2. Modélisation formelle <strong>de</strong> systèmes<br />
Figure 2.11 – Exemple <strong>de</strong> bibliothèque et d’instanciation <strong>de</strong> composants sous Cecilia TM OCAS<br />
2.4 Outils <strong>pour</strong> <strong>la</strong> construction et l’analyse <strong>de</strong> <strong>modèles</strong> AltaRica<br />
Dans cette section, nous présentons différents outils supportant <strong>la</strong> construction et / ou<br />
l’analyse d’un modèle AltaRica. Seront cités particulièrement <strong>de</strong>ux outils développés par Dassault<br />
Aviation : l’outil Cecilia TM OCAS (Outil <strong>de</strong> Conception et l’Analyse Système) qui supporte <strong>la</strong><br />
construction et l’analyse qualitative d’un modèle AltaRica ainsi que l’outil Cecilia TM ARBOR 2 <strong>de</strong><br />
construction d’arbres <strong>de</strong> défail<strong>la</strong>nce qui nous permettra, en tant que complément <strong>de</strong> Cecilia TM<br />
OCAS, <strong>de</strong> réaliser <strong>de</strong>s analyses quantitatives à partir d’arbres extraits <strong>de</strong> <strong>modèles</strong> AltaRica.<br />
2.4.1 Modélisation d’un système<br />
Avant <strong>de</strong> pouvoir analyser le modèle AltaRica d’un système, il nous est tout d’abord nécessaire<br />
<strong>de</strong> construire ce modèle... ! D’une façon générale, construire un modèle consiste à traduire le<br />
comportement d’un système dans un <strong>la</strong>ngage choisi, en l’occurrence et dans notre cas, le <strong>la</strong>ngage<br />
AltaRica. Nous reviendrons plus en détail sur cette étape <strong>de</strong> modélisation en <strong>la</strong>ngage AltaRica<br />
dans un prochain chapitre.<br />
Ici, dans l’optique <strong>de</strong> construire un modèle AltaRica, nous utiliserons l’outil Cecilia TM OCAS<br />
supportant, entre autres, l’édition d’un modèle AltaRica. La philosophie <strong>de</strong> modélisation <strong>de</strong> cet<br />
outil suit alors <strong>la</strong> philosophie <strong>de</strong> modélisation générale du <strong>la</strong>ngage AltaRica :<br />
– modélisation <strong>de</strong> chacun <strong>de</strong>s composants du système ; création d’une bibliothèque <strong>de</strong> composants<br />
AltaRica ;<br />
– instanciation graphique <strong>de</strong> composants <strong>de</strong> <strong>la</strong> librairie (les composants sont sélectionnés dans<br />
<strong>la</strong> bibliothèque puis p<strong>la</strong>cés dans une fenêtre graphique par simple « drag & drop ») ;<br />
– connexion <strong>de</strong>s composants : les composants instanciés sont reliés directement dans <strong>la</strong> fenêtre<br />
graphique.<br />
2.4.2 Vérification <strong>de</strong> <strong>la</strong> cohérence <strong>de</strong>s <strong>modèles</strong> AltaRica<br />
Comme ai<strong>de</strong> à <strong>la</strong> modélisation et à l’écriture <strong>de</strong> co<strong>de</strong> AltaRica, l’outil Cecilia TM OCAS<br />
effectue <strong>de</strong>s tests <strong>pour</strong> détecter <strong>de</strong>s incohérences syntaxiques ou structurelles dans <strong>de</strong>s <strong>modèles</strong><br />
AltaRica syntaxiquement correct. Par exemple, il sera vérifié :<br />
2. Aussi <strong>de</strong> propriété Dassault Aviation, l’outil Cecilia TM ARBOR permet l’édition et le calcul d’arbres <strong>de</strong><br />
défail<strong>la</strong>nce.