Retour au site du LAAS-CNRS

Résumé

Dans un processus de développement traditionnel différentes analyses sont généralement basées sur des modèles dédiés qui requièrent une expertise approfondie, ce qui ne facilite pas les tâches de coordination et de communication entre les différentes équipes impliquées dans le développement d'un même système. Conduire plusieurs analyses à partir d'un même modèle contribue à la réduction des coûts de développement tout en facilitant la réutilisation. En particulier, effectuer des analyses de sûreté de fonctionnement conjointement avec d'autres analyses au niveau architectural permet d'apprécier l'impact des décisions architecturales sur la sûreté de fonctionnement du système et de faire des compromis entre différents attributs. Cet article concerne la construction de modèles de sûreté de fonctionnement avec AADL (Architecture Analysis and Design Language). Nous nous focalisons sur l'utilisation de modèles d'architectures tolérantes aux fautes réutilisables (ou patrons) et montrons comment ces patrons permettent de modéliser la sûreté de fonctionnement d'un sous-système d'une application réelle.

Mots-Clés / Keywords

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

The interdependencies between infrastructures may be the cause of serious problems in mission/safety critical systems. In the CRU- TIAL project the interdependencies between the electricity infrastruc- ture (EI) and the information infrastructure (II) responsible for its con- trol; maintenance and management have been thoroughly studied, more- over countermeasures to substantially reduce the risk to interrupt the service have been developed in the project. The possible interdependen- cies have been investigated by means of model at this abstraction levels. In this paper, we present high level models describing the various interde- pendencies between the EI and the II infrastructures, then we illustrate on a simple scenario how these models can be detailed to allow the eval- uation of some measures of dependability.