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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00785494
Contributor : David Chemouil <>
Submitted on : Wednesday, February 6, 2013 - 11:41:12 AM
Last modification on : Tuesday, March 26, 2019 - 2:24:42 PM
Long-term archiving on : Saturday, April 1, 2017 - 4:51:04 PM

File

cal2012.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00785494⟩

Share

Metrics

Record views

125

Files downloads

245