Hierarchical Models for Systems Reliability, Maintainability, and Availability, IEEE Trans. on Circuits and Syst, vol.34, issue.6, pp.629-667, 1987. ,
On the Success of Stochastic Petri Nets, 6th International Workshop on Petri Nets and Performance Models, pp.2-9, 1995. ,
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software systems, 23rd IEEE Int. Symp. Fault-Tolerant Computing, pp.668-73, 1993. ,
, Interactions between Hardware and Software Components: Characterization, Formalization and Modeling-Application to CAUTRA Dependability, PhD Dissertation, pp.96-97, 1996.
Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults, IEEE Trans. on Computers, C, vol.27, issue.6, pp.548-60, 1978. ,
System-level Reliability and Sensitivity Analysis for Three Fault-tolerant Architectures, 4th IFIP Int. Conference on Dependable Computing for Critical Applications, pp.295-307, 1994. ,
Fault-tolerant Programming, 2nd IEEE Int Symp. Fault-Tolerant Computing, pp.79-83, 1972. ,
Why Do Computers Stop and What Can be Done About it ?, 5th Int. Symp. on Reliability in Distributed Software and Database Systems, pp.3-12, 1986. ,
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System, 26th Int. Symp. Fault-Tolerant Computing (FTCS-26), pp.95-515, 1996. ,
Trustable Evaluation of Computer Systems Dependability, Applied Mathematics and Performance/Reliability Models of Computer/ Communication Systems, pp.341-60, 1983. ,
, Dependability: Basic Concepts and Terminology, Dependable Computing and Fault-Tolerant Systems, 5, 265 p, 1992.
On The Temporary Character of Operation-persistent Software Faults, 4th Int. Symp. on Software Reliability Engineering, p.125, 1993. ,
X-ware Reliability and Availability Modeling, IEEE Trans. on Software Engineering, SE, vol.18, issue.2, pp.130-177, 1992. ,
URL : https://hal.archives-ouvertes.fr/hal-01979370
, The KAT (Knowledge-Action-Transformation)
, Approach to the Modeling and Evaluation of Reliability and Availability Growth, IEEE Trans. Software Engineering, SE, vol.17, issue.4, pp.370-82, 1991.
Dependability Modeling of a Heterogeneous VAX-cluster System Using Stochastic Reward Nets, Hardware and Software Fault Tolerance in Parallel Computing Systems, pp.33-59, 1992. ,
, An Analysis of Hardware and Software Availability Exemplified on the IBM-3725
, IBM Journal of Research and Development, vol.32, issue.2, pp.268-78, 1988.
Distributed Fault Tolerance: Lessons from Delta-4, IEEE Micro, vol.14, issue.1, pp.36-47, 1994. ,
Reduced Base Model Construction Methods for Stochastic Activity Networks, IEEE Trans. on Selected Areas in Communications, vol.9, issue.1, pp.25-36, 1991. ,
The Theory and Practice of Reliable System Design, 1992. ,
Dependability Evaluation of Integrated Hardware/Software Systems, IEEE Trans. on Reliability, R, vol.36, issue.4, pp.440-444, 1987. ,