scientific article; zbMATH DE number 1424153

MaRDI QIDQ4945346zbMATH OpenFDO

Authors Jogesh K. Muppala, Ricardo M. Fricks, Kishor S. Trivedi

Publication date 12 October 2000

zbMATH Keywords

system reliabilitynon-Markovian modelsMarkovian state space modelsdependability measuresdependability modelsnon-state space modelssystem dependability evaluationsystem maintainability

Mathematics Subject Classification ID

Reliability and life testing (62N05) Reliability, availability, maintenance, inspection in operations research (90B25) Applications of renewal theory (reliability, demand theory, etc.) (60K10)

Recommendations

• Formal dependability modeling and analysis: a survey
• scientific article; zbMATH DE number 1008397
• scientific article; zbMATH DE number 5560393
• scientific article; zbMATH DE number 1983464
• Lectures on Concurrency and Petri Nets

Cited in

(9)

• Availability optimization of a redundant system through dependency modeling
• scientific article; zbMATH DE number 2033528 (Why is no real title available?)
• Evaluating FTRE's for dependability measures in fault tolerant systems
• Formal dependability modeling and analysis: a survey
• scientific article; zbMATH DE number 1975554 (Why is no real title available?)
• Creating a knowledge database on system dependability and resilience
• Dependability modeling and analysis of software systems specified with UML
• Reliability of methods of operational checking and diagnosis of data processing systems
• The Dependency Model: A Tool for Calculating System Effectiveness

This page was built for publication:

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