Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software components

Authors:
K. Kanoun;M. Borrel
Affiliations:
-;-
Venue:
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
Year:
1996

Citing 0
Cited 4

Availability of CAUTRA, a Subset of the French Air Traffic Control System

IEEE Transactions on Computers
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach

IEEE Transactions on Computers
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems

SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Performance Validation of Fault-Tolerance Software: A Compositional Approach

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper addresses the dependability modeling of hardware and software fault-tolerant systems taking into account explicitly the interactions between the various components. It presents a framework for modeling these interactions 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. This approach is applied to a simple, but still representative, example.