EVALUATION DE LA SECURITE DES SYSTEMES PAR LES MODELES (MBSA)

Cadre règlementaire

Présentation des ARP4754A et ARP4761

Guide méthodologique

Pourquoi modéliser

Quand modéliser

Lien MBSE / MBSA

Etude détaillée d’un modèle

Présentation d’un modèle concret

Validation et simulation du modèle

Résultats : apports et limites

Exemples d’application

Dans des domaines variés (aéronautique, terrestre, naval,…)

Travaux dirigés

Langage Altarica, présentation d’un logiciel graphique

Règles de modélisation

Construction des briques de base (framework)

Travaux pratiques

Application à un système depuis des documents descriptifs

Spécification, réalisation, validation du modèle

Travail collaboratif, gestion de configuration

Analyse des résultats

Conclusion