Three-Mode Failure Model for Reliability Analysis of Distributed Programs (Special Issue on Fault-Tolerant Computing)
スポンサーリンク
概要
- 論文の詳細を見る
The distributed program reliability (DPR) is a useful measure for reliability evaluation of distributed systems. In previous methods, a two-mode failure model (working or failed) is assumed for each computing node. However, this assumption is not realistic because data transfer may be possible by way of a computing node even when this node can neither execute programs nor handle its data files. In this paper, we define a new three-mode failure model for representing such a degraded operational state of computing nodes, and present a simple and efficient analysis method based on graph theory. In order to represent the degraded operational state, a given graph expressing a distributed system is augmented by adding new edges and vertices. By traversing this augmented graph, the reliability measure can be computed. Examples show the clear difference between the results of our proposed method and those of the previous ones.
- 社団法人電子情報通信学会の論文
- 1997-01-25
著者
-
Tsuchiya Tatsuhiro
Graduate School Of Information Science And Technology Osaka University
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
KIKUNO Tohru
Department of Informatics and Mathematical Science, Graduate School of Engineering Science, Osaka Un
-
Kakuda Yoshiaki
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Tsuchiya Tatsuhiro
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
-
Kikuno Tohru
Department Of Informatics And Mathematical Science Graduate School Of Engineering Science Osaka Univ
関連論文
- Feature Interaction Verification Using Unbounded Model Checking with Interpolation
- Probabilistic Model Checking of the One-Dimensional Ising Model
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Exploiting Symmetric Relation for Efficient Feature Interaction Detection
- Three-Mode Failure Model for Reliability Analysis of Distributed Programs (Special Issue on Fault-Tolerant Computing)
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- Computing the Stabilization Times of SElf-Stabilizing Systems (Special Section on Concurrent Systems Technology)
- New Constructions for Nondominated k-Coteries
- Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)
- New 2-Factor Covering Designs for Software Testing(Regular Section)
- A New Verification Framework of Object-Oriented Design Specification for Small Scale Software (Special Issue on Fault-Tolerant Computing)
- A BDD-based approach to reliability-optimal module allocation in networks (信頼性)
- SAT and SMT based model checking of concurrent systems (コンカレント工学)
- Parallelizing SDP(Sum of Disjoint Products)Algorithms for Fast Reliability Analysis
- An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power(Networks)
- Effective Scheduling of Duplicated Tasks for Fault Tolerance in Multiprocessor Systems
- Error Models and Fault-Secure Scheduling in Multiprocessor Systems
- Experimental Evaluation of Team Performance in Program Development Based on a Model : Extension of a Programmer Performance Model
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- On Desirable Fault-Tolerant Topology for Cluster-Based Network (Special Section on Net Theory and Its Applications)