MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL

Résumé

Pour des raisons d'efficacité et de maîtrise des coûts, 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 efficacité pour la modélisation d'architectures. Par conséquent, ce langage est de plus en plus utilisé dans des processus industriels d'ingénierie système. 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. Le RdPSG résultant peut être traité par des outils existants. L'approche est illustrée sur un petit exemple.
Fichier principal
Vignette du fichier
Rugina_AADL_LM.pdf (502.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00755279 , version 1

Citer

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche. MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL. 15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p. ⟨hal-00755279⟩
312 Consultations
387 Téléchargements

Partager

Gmail Facebook X LinkedIn More