Une vue sûreté de fonctionnement pour la vérification d'architectures abstraites - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

Abstract

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.
Fichier principal
Vignette du fichier
cal2012.pdf (576.75 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00785494 , version 1 (06-02-2013)

Identifiers

  • HAL Id : hal-00785494 , version 1

Cite

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⟩

Collections

ONERA
95 View
167 Download

Share

Gmail Mastodon Facebook X LinkedIn More