= Modélisation et évaluation de la sûreté de fonctionnement : de AADL vers les réseaux de Petri stochastiques
Auteur / Autrice : | Ana-Elena Rugina |
Direction : | Karama Kanoun |
Type : | Thèse de doctorat |
Discipline(s) : | Systèmes informatiques |
Date : | Soutenance en 2007 |
Etablissement(s) : | Toulouse, INPT |
Mots clés
Mots clés contrôlés
Résumé
AADL (Architecture Analysis and Design Language) a prouvé son aptitude pour la modélisation d'architectures et ce langage est actuellement jugé efficace par les industriels dans des approches d'ingénierie guidées par des modèles. Notre contribution est un cadre de modélisation permettant la génération de modèles analytiques de sûreté de fonctionnement à partir de modèles AADL pour faciliter l'obtention de mesures de sûreté de fonctionnement. Nous proposons une approche itérative de modélisation. Dans ce contexte, nous fournissons un ensemble de sous-modèles génériques réutilisables pour des architectures tolérantes aux fautes. Le modèle AADL de sûreté de fonctionnement est transformé en un RdPSG (Réseau de Petri Stochastique Généralisé) en appliquant des règles de transformation de modèle. Nous avons implémenté un outil de transformation automatique. Le RdPSG résultant peut être traité par des outils existants pour obtenir des mesures de sûreté de fonctionnement.