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

National audience; 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.