Skip to Main content Skip to Navigation
Conference papers

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

Karama Kanoun 1 Marie Borrel 1
1 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 addresses the dependability modeling of ardware and software fault-tolerant systems taking into ccount explicitly the interactions between the various omponents. It presents a framework for modeling these teractions based on Generalized Stochastic Petri Nets GSPNs). The modeling approach is modular: the ehavior of each component and each interaction is epresented by its own GSPN, while the system model is btained by composition of these GSPNs. The omposition rules are defined and formalized through lear identification of the interfaces between the omponent and the dependency nets. In addition to odularity, the formalism brings flexibility and re-sability. This approach is applied to a simple, but still epresentative, example.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.laas.fr/hal-01976182
Contributor : Karama Kanoun <>
Submitted on : Wednesday, January 9, 2019 - 6:43:33 PM
Last modification on : Thursday, June 10, 2021 - 3:01:24 AM

File

Marie-IPDS-Final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01976182, version 1

Citation

Karama Kanoun, Marie Borrel. Dependability of Fault-Tolerant Systems — Explicit Modeling of the Interactions Between Hardware and Software Components. 2nd Annual IEEE International Computer Performance and Dependability Symposium (IPDS'96), 4-6 septembre 1996, pp.252-261, Sep 1996, Urbana-Champaign, United States. ⟨hal-01976182⟩

Share

Metrics

Record views

62

Files downloads

98