Pre-Orders for Fault Tolerance
نویسنده
چکیده
We describe a process algebraic approach to the semantics of robust systems. We extend a subset of CCS [14] with multi-set pre xes to model systems with replicated synchronous majority voting. Based on an operational semantics, we de ne pre-orders which introduces a hierarchy of faulty processes and fault-tolerant processes. We then show how a similar ordering on modalformulae [18] can characterise the fault pre-orders. Department of Computer Science University of Canterbury, Private Bag 4800 Christchurch, New Zealand Email: [email protected]
منابع مشابه
A Cross-Layer QoE-Based Approach for Event-Based Multi-Tier Wireless Multimedia Sensor Networks
Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction Leo Marcus (2013). Innovations and Approaches for Resilient and Adaptive Systems (pp. 57-67). www.igi-global.com/chapter/abstract-fault-tolerance/68943?camid=4v1a What Orders Reality: Relationship, Relatives, and Relations Azamat Abdoullaev (2008). Reality, Universal Ontology and Knowl...
متن کاملAdding Fault-Tolerance Using Pre-synthesized Components
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolerance components to programs in the cases where existing heuristics fail to add fault-tolerance. Such addition of pre-synthesized components has the advantage of reusing pre-synthesized fault-tolerance components in the...
متن کاملStability Assessment Metamorphic Approach (SAMA) for Effective Scheduling based on Fault Tolerance in Computational Grid
Grid Computing allows coordinated and controlled resource sharing and problem solving in multi-institutional, dynamic virtual organizations. Moreover, fault tolerance and task scheduling is an important issue for large scale computational grid because of its unreliable nature of grid resources. Commonly exploited techniques to realize fault tolerance is periodic Checkpointing that periodically ...
متن کاملAlgorithmic-Based Fault Tolerance for Matrix Multiplication on Amazon EC2
Cloud computing presents a unique alternative to traditional computing approaches for many users and applications. The goals of this project were to assess the viability of the cloud for scientific computing applications, and to explore fault tolerance as a mechanism for maintaining high performance in this variable and unpredictable environment. Most previous attempts to run scientific computa...
متن کاملImproving the palbimm scheduling algorithm for fault tolerance in cloud computing
Cloud computing is the latest technology that involves distributed computation over the Internet. It meets the needs of users through sharing resources and using virtual technology. The workflow user applications refer to a set of tasks to be processed within the cloud environment. Scheduling algorithms have a lot to do with the efficiency of cloud computing environments through selection of su...
متن کامل