Une vue sûreté de fonctionnement pour la vérification d'architectures abstraites

Résumé : La vérification de propriétés de sûreté de fonctionnement (SdF) pour les systèmes critiques est un problème primordial. Les solutions existantes imposent généralement une connaissance de l'architecture complète du système. Dans cet article, nous proposons une approche permettant de vérifier efficacement la sûreté de fonctionnement d'architectures abstraites qui sont, éventuellement, partiellement décrites. Nous présentons une méthodologie qui s'appuie sur une vue SdF et une vue architecturale du système. Des propriétés de SdF sont vérifiées au niveau de la vue idoine, et sont postérieurement validées sur l'architecture. Cette approche permet donc de décomposer des vérifications complexes de SdF sur des architectures en deux vérifications plus simples, sur deux vues différentes. Les techniques présentées sont appliquées au système hydraulique d'un avion, utilisé comme cas d'étude.
Type de document :
Communication dans un congrès
Conférence francophone sur les architectures logicielles, 2012, Montpellier, France. 2012
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00785494
Contributeur : David Chemouil <>
Soumis le : mercredi 6 février 2013 - 11:41:12
Dernière modification le : jeudi 15 novembre 2018 - 08:38:45
Document(s) archivé(s) le : samedi 1 avril 2017 - 16:51:04

Fichier

cal2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00785494, version 1

Collections

Citation

Maria Piriquito, Pierre Bieber, Julien Brunel, David Chemouil. Une vue sûreté de fonctionnement pour la vérification d'architectures abstraites. Conférence francophone sur les architectures logicielles, 2012, Montpellier, France. 2012. 〈hal-00785494〉

Partager

Métriques

Consultations de la notice

113

Téléchargements de fichiers

220