Dependability modeling and evaluation : from AADL to stochastic Petri nets

par Ana-Elena Rugina

Thèse de doctorat en Systèmes informatiques

Sous la direction de Karama Kanoun.

Soutenue en 2007

à Toulouse, INPT .

  • Titre traduit

    Modélisation et évaluation de la sûreté de fonctionnement : de AADL vers les réseaux de Petri stochastiques


  • Résumé

    AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling and is considered by industry in the context of model driven engineering approaches. Our contribution is a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures. We propose an iterative approach for system dependability modeling using AADL. In this context, we also provide a set of reusable modeling patterns for fault tolerant architectures. The AADL dependability model is transformed into a GSPN (Generalized Stochastic Petri Net) by applying model transformation rules. We have developed an automatic transformation tool. The resulting GSPN can be processed by existing tools to obtain dependability measures.


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ([22]-x-151 p.)
  • Annexes : Bibliogr. p. 145-151

Où se trouve cette thèse ?

  • Bibliothèque : Ecole nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 07INPT052H/2
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.