Construction and stepwise refinement of dependability models - Université Toulouse 1 Capitole Accéder directement au contenu
Article Dans Une Revue Performance Evaluation Année : 2004

Construction and stepwise refinement of dependability models

Résumé

The purpose of this paper is to present a framework for comparing different candidatearchitectures for the same system. To this end, we propose a rigorous approach for homogeneouslymodelling different architectures. Starting with the functional specifications of thesystem, we derive a functional-level model that is used to construct a high-level dependabilitymodel for each architecture, using well-defined, formal construction rules. Our modellingapproach is then applied to three possible architectures of an instrumentation and controlsystem, and an example of a comparative analysis of these systems is provided.
Fichier principal
Vignette du fichier
Doc 02452.pdf (1.13 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01980966 , version 1 (05-02-2019)

Identifiants

  • HAL Id : hal-01980966 , version 1

Citer

Claudia Betous-Almeida, Karama Kanoun. Construction and stepwise refinement of dependability models. Performance Evaluation, 2004, 56 (1-4), pp.277-306. ⟨hal-01980966⟩
64 Consultations
68 Téléchargements

Partager

Gmail Facebook X LinkedIn More