Skip to Main content Skip to Navigation
Conference papers

Stepwise Construction and Refinement of Dependability Models

Claudia Betous-Almeida 1 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 : This paper presents a stepwise approach for dependability modeling, based on Generalized Stochastic Petri Nets (GSPNs). The first-step model called functional-level model, can be built as early as system functional specifications and then completed by the structural model as soon as the system architecture is known, even at a very high level. The latter can be refined according to three different aspects: Component decomposition, state and event fine-tuning and distribution adjustment to take into account increasing event rates. We define specific rules to make the successive transformations as easy and systematic as possible. This approach allows the various dependencies to be taken into account at the right level of abstraction: Functional dependency, structural dependency and those induced by non-exponential distributions. A part of the approach is applied to an instrumentation and control system (I&C) in power plants.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.laas.fr/hal-01976600
Contributor : Karama Kanoun <>
Submitted on : Thursday, January 10, 2019 - 10:57:28 AM
Last modification on : Thursday, June 10, 2021 - 3:07:40 AM

File

betous_stepwise(IPDS).pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01976600, version 1

Citation

Claudia Betous-Almeida, Karama Kanoun. Stepwise Construction and Refinement of Dependability Models. 4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States. ⟨hal-01976600⟩

Share

Metrics

Record views

130

Files downloads

274