Skip to Main content Skip to Navigation
Journal articles

Construction and stepwise refinement of dependability models

Claudia Betous-Almeida 1, 2 Karama Kanoun 2
1 IRIT-RMESS - Réseaux, Mobiles, Embarqués, Sans fil, Satellites
IRIT - Institut de recherche en informatique de Toulouse
2 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : 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.
Complete list of metadatas
Contributor : Karama Kanoun <>
Submitted on : Tuesday, February 5, 2019 - 1:30:03 PM
Last modification on : Thursday, October 8, 2020 - 1:30:05 PM
Long-term archiving on: : Monday, May 6, 2019 - 3:58:37 PM


Doc 02452.pdf
Files produced by the author(s)


  • HAL Id : hal-01980966, version 1


Claudia Betous-Almeida, Karama Kanoun. Construction and stepwise refinement of dependability models. Performance Evaluation, Elsevier, 2004, 56 (1-4), pp.277-306. ⟨hal-01980966⟩



Record views


Files downloads