AltaRica refinement for heterogeneous granularity models analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

AltaRica refinement for heterogeneous granularity models analysis

Sylvain Metge
  • Fonction : Auteur
François Pouzolz
  • Fonction : Auteur
Pierre Bieber
  • Fonction : Auteur

Résumé

We define a notion of refinement for AltaRica models in order to analyze the safety of systems described at various levels of detail. We describe a technique based on the Mec V model-checker to automatically check that one model refines another one. We present two theoretical results: the first one allows to verify refinement by focusing on one component of the model at a time, the second result defines the kind of requirements that are preserved by refinement. We propose to use these theoretical results in order to ease the safety assessment of a set of interconnected aeronautical systems.

Mots clés

Fichier non déposé

Dates et versions

hal-00353285 , version 1 (15-01-2009)

Identifiants

  • HAL Id : hal-00353285 , version 1

Citer

Romain Bernard, Sylvain Metge, François Pouzolz, Pierre Bieber, Alain Griffault, et al.. AltaRica refinement for heterogeneous granularity models analysis. Lambda-Mu 16, Oct 2008, Avignon, France. pp.2B-3. ⟨hal-00353285⟩

Collections

CNRS TDS-MACS
129 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More