Skip to Main content Skip to Navigation
Journal articles

Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software Components

Abstract : This paper addresses the dependability modeling of hardware and software fault-tolerant systems taking into account explicitly the dependency between the various components. These dependencies may result from functional or structural interactions between the components or from interactions due to global system reconfiguration and maintenance strategies. Since the resulting dependencies are stochastic, the dependability of the system cannot be evaluated by combination of the dependability of its components. This paper presents a framework for modeling the dependencies between the various components of a fault-tolerant system. Modeling is based on Generalized Stochastic Petri Nets (GSPNs). The modeling approach is modular: the behavior of each component and each interaction is represented by its own GSPN, while the system model is obtained by composition of these GSPNs. The composition rules are defined and formalized through clear identification of the interfaces between the component and the dependency nets. In addition to modularity, the formalism brings flexibility and re-usability thereby allowing for easy sensitivity studies with respect to the assumptions that could be made about the behavior of the components and the resulting interactions. This approach is applied to a simple, but still representative, example.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.laas.fr/hal-01977525
Contributor : Karama Kanoun <>
Submitted on : Thursday, January 10, 2019 - 6:22:57 PM
Last modification on : Thursday, June 10, 2021 - 3:01:25 AM
Long-term archiving on: : Thursday, April 11, 2019 - 6:39:37 PM

File

IEEE— TSE_Marie.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01977525, version 1

Citation

Karama Kanoun, Marie Borrel. Dependability of Fault-Tolerant Systems-Explicit Modeling of the Interactions Between Hardware and Software Components. IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2000, 49, pp.363 - 376. ⟨hal-01977525⟩

Share

Metrics

Record views

139

Files downloads

288