Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge

DOI10.1016/J.AMC.2010.05.075MaRDI QIDQ708195zbMATH OpenOpenAlexFDO

Authors Yung-Ruei Chang, Chin-Yu Huang, Sy-Yen Kuo

Publication date 11 October 2010

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.amc.2010.05.075

zbMATH Keywords

distributed systemfault-coverageOBDDreliabilitysystem availability

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• A BDD-based method for computing network reliability
• Dependability modeling and analysis of distributed programs
• scientific article; zbMATH DE number 1946767
• A recursively heuristic method for the reliability optimization of a distributed computing system

Cites work

• A generalized algorithm for evaluating distributed-program reliability
• A heuristic approach to generating file spanning trees for reliability analysis of distributed computing systems
• A Simple Method for Reliability Evaluation of a Communication System
• Distributed program reliability analysis
• Graph-Based Algorithms for Boolean Function Manipulation
• Reduction of Average Path Length in Binary Decision Diagrams by Spectral Methods

Cited in

(3)

• Multiple-valued logic mathematical approaches for multi-state system reliability analysis
• The Reliability Analysis of Distributed Computing Systems with Imperfect Nodes
• Parameters for system effectiveness evaluation of distributed systems

This page was built for publication: Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge

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