ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 28/1 - 2009  - pp.7-37  - doi:10.3166/tsi.28.7-37
TITRE
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.


ABSTRACT
For efficiency reasons, system designers' will is to use an integrated set of methods and tools to describe specifications, and also to perform dependability analyses. AADL (Architecture Analysis and Design Language) has proved its capacity for architectural modeling. This paper presents a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures, such as reliability or availability. We propose an iterative approach for system dependability modeling using AADL. The AADL dependability model is transformed into a GSPN (Generalized Stochastic Petri Net) by applying model transformation rules. An automatic transformation tool has been developed. The dependability measures are obtained from the processing of the resulting GSPN by existing tools. The approach is illustrated on a subsystem of the French air traffic control system.


AUTEUR(S)
Ana-Elena RUGINA, Karama KANOUN, Mohamed KAÂNICHE

Reçu le 12 février 2007.    Accepté le 21 février 2008.

MOTS-CLÉS
modélisation de la sûreté de fonctionnement, évaluation, AADL, RdPSG, transformation de modèle.

KEYWORDS
dependability modeling, evaluation, AADL, GSPN, model transformation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (9,36 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier