Modeling fault-tolerant system behavior

MaRDI QIDQ4233999zbMATH OpenFDO

Authors Mario dal Cin

Publication date 6 May 1999

zbMATH Keywords

fault-tolerant system

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 3890717
• Logical specification and analysis of fault tolerant systems through partial model checking
• Modeling faults of distributed, reactive systems
• scientific article; zbMATH DE number 3978365

Cited in

(8)

• Analytic models for the primary site approach to fault-tolerance
• Modeling faults of distributed, reactive systems
• scientific article; zbMATH DE number 3890717 (Why is no real title available?)
• Simulating an adaptive fault tolerance for situation-aware ubiquitous computing
• A model for application server designed to maintain its fail robustness
• MR4UM: a framework for adding fault tolerance to UML state diagrams
• Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism
• Analysis of faults in cyber-physical systems by finite discrete-time Markov chains

This page was built for publication: Modeling fault-tolerant system behavior

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4233999)