Fault-tolerant system dependability - Explicit modeling of hardware and software component-interactions

IEEE Transactions on Reliability

Volumn 49, Issue 4, 2000, Pages 363-376

  Kanoun, Karama ^a   Ortalo Borrel, Marie ^b  

^a IEEE   (France)

^b LAAS CNRS   (France)

Author keywords

Dependability modeling; GSPN (generalized stochastic Petri net); Hardware failures; Interaction between hardware and software components; Software failures

Indexed keywords

GENERALIZED STOCHASTIC PETRI NETS (GSPN);

AIR TRAFFIC CONTROL; COMPUTER HARDWARE; COMPUTER SOFTWARE; PETRI NETS; SENSITIVITY ANALYSIS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0034439134     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/24.922489     Document Type: Article

References (25)

1. On the success of stochastic Petri nets
2. Analysis of typical fault-tolerant architectures using HARP
3. SURF-2: A program for dependability evaluation of complex hardware and software systems
4. An aggregation technique for the transient analysis of stiff Markov chains
5. Structured solution of stochastic DSSP systems
6. Reliability and availability models for maintained systems featuring hardware failures and design faults
7. System-level reliability and sensitivity analysis for three fault-tolerant architectures
8. Fault-tolerant programming
9. Why do computers stop and what can be done about it?
10. Modeling the dependability of CAUTRA, a subset of the French Air Traffic Control system
11. Trustable evaluation of computer systems dependability
12. Dependability: Basic concepts and terminology
13. On the temporary character of operation-persistent software faults
14. X-ware reliability and availability modeling
15. The KAT (knowledge-action-transformation) approach to the modeling and evaluation of reliability and availability growth
16. Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets
17. An analysis of hardware and software availability exemplified on the IBM-3725 communication controller
18. Stochastic automata network for modeling parallel systems
19. Distributed fault tolerance: Lessons from Delta-4
20. Reduced base model construction methods for stochastic activity networks
21. Composition of nets via a communication medium
22. Dependability evaluation of integrated hardware/software systems
23. Decomposition in reliability analysis of fault-tolerant systems