Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2009

Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG

Résumé

Pour des raisons d'efficacité, le souhait des concepteurs de systèmes est d'utiliser de façon intégrée un ensemble cohérent de formalismes pour décrire les spécifications et conceptions, et également pour effectuer des analyses de sûreté de fonctionnement. AADL (Architecture Analysis and Design Language) a prouvé son aptitude pour la modélisation d'architectures. Cet article présente un cadre de modélisation permettant la génération de modèles analytiques de sûreté de fonctionnement à partir de modèles AADL dans l'objectif de faciliter l'obtention de mesures de sûreté de fonctionnement comme la fiabilité et la disponibilité. Nous proposons une approche itérative de modélisation. 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. Un outil de transformation automatique a été développé. Les mesures de sûreté de fonctionnement sont obtenues à partir du traitement du RdPSG résultant par des outils existants. L'approche est illustrée sur un sous-système du système informatique français de contrôle de trafic aérien.
Fichier principal
Vignette du fichier
2290v2_Hal.pdf (1.14 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00755268 , version 1 (20-11-2012)

Identifiants

  • HAL Id : hal-00755268 , version 1

Citer

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche. Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (1), pp.7-37. ⟨hal-00755268⟩
217 Consultations
462 Téléchargements

Partager

Gmail Facebook X LinkedIn More