Model checking and fault tolerance

1997 ◽  
pp. 45-59 ◽  
Author(s):  
Glenn Bruns ◽  
Ian Sutherland
Keyword(s):  
Fault Tolerance ◽  
Model Checking

scholarly journals Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms

2017 ◽  
Vol 61 (2) ◽  
pp. 132 ◽  
Author(s):  
Vince Molnár ◽  
István Majzik
Keyword(s):  
Fault Tolerance ◽  
Model Checking ◽  
Error Detection ◽  
Failure Modes ◽  
System Level ◽  
Complex Nature ◽  
Software Faults ◽  
Software Failures ◽  
Detection Techniques ◽  
Embedded Operating Systems

Failure Mode and Effects Analysis (FMEA) is a systematic technique to explore the possible failure modes of individual components or subsystems and determine their potential effects at the system level. Applications of FMEA are common in case of hardware and communication failures, but analyzing software failures (SW-FMEA) poses a number of challenges. Failures may originate in permanent software faults commonly called bugs, and their effects can be very subtle and hard to predict, due to the complex nature of programs. Therefore, a behavior-based automatic method to analyze the potential effects of different types of bugs is desirable. Such a method could be used to automatically build an FMEA report about the fault effects, or to evaluate different failure mitigation and detection techniques. This paper follows the latter direction, demonstrating the use of a model checking-based automated SW-FMEA approach to evaluate error detection and fault tolerance mechanisms, demonstrated on a case study inspired by safety-critical embedded operating systems.

Verification of Fault Tolerance of Discrete-Event Object-Oriented Models using Model Checking

2008 ◽  
Vol 41 (2) ◽  
pp. 5095-5100 ◽  
Author(s):  
Marcello Bonfè ◽  
Cesare Fantuzzi ◽  
Cristian Secchi
Keyword(s):  
Fault Tolerance ◽  
Model Checking ◽  
Discrete Event ◽  
Object Oriented

A Review on Load Balancing Model Using Best Partition Technique

2017 ◽  
Vol 7 (8) ◽  
pp. 284
Author(s):  
M. Chaitanya ◽  
K. Durga Charan
Keyword(s):  
Cloud Computing ◽  
Fault Tolerance ◽  
Load Balancing ◽  
Load Balance ◽  
Large Impact ◽  
Cloud Environment ◽  
Public Cloud ◽  
The Public ◽  
Partition Technique ◽  
Textual Content

Load balancing makes cloud computing greater knowledgeable and could increase client pleasure. At reward cloud computing is among the all most systems which offer garage of expertise in very lowers charge and available all the time over the net. However, it has extra vital hassle like security, load administration and fault tolerance. Load balancing inside the cloud computing surroundings has a large impact at the presentation. The set of regulations relates the sport idea to the load balancing manner to amplify the abilties in the public cloud environment. This textual content pronounces an extended load balance mannequin for the majority cloud concentrated on the cloud segregating proposal with a swap mechanism to select specific strategies for great occasions.

Sign in / Sign up

Export Citation Format

Share Document