Replication within atomic actions and conversations: a case study in fault-tolerance duality

2003 ◽  
Author(s):  
L.V. Mancini ◽  
S.K. Shrivastava
Keyword(s):  
Fault Tolerance ◽  
Atomic Actions

Fault Tolerance Analysis of Communication System Interleavers: the 802.11a Case Study

2007 ◽  
Vol 52 (3) ◽  
pp. 231-247
Author(s):  
P. Reyes ◽  
P. Reviriego ◽  
J. A. Maestro ◽  
O. Ruano
Keyword(s):  
Fault Tolerance ◽  
Communication System ◽  
Tolerance Analysis

scholarly journals How to Improve Fault Tolerance in Disaster Predictions: A Case Study about Flash Floods Using IoT, ML and Real Data

Sensors ◽  
2018 ◽  
Vol 18 (3) ◽  
pp. 907 ◽  
Author(s):  
Gustavo Furquim ◽  
Geraldo Filho ◽  
Roozbeh Jalali ◽  
Gustavo Pessin ◽  
Richard Pazzi ◽  
...  
Keyword(s):  
Fault Tolerance ◽  
Real Data ◽  
Flash Floods

scholarly journals System Control In Fault And Normal Conditions Case Study - Quanser SRV-02

2015 ◽  
Vol 67 (1) ◽  
pp. 133-138
Author(s):  
Ionut Cristian Resceanu ◽  
Cristina Floriana Resceanu
Keyword(s):  
Fault Tolerance ◽  
Theoretical Analysis ◽  
Control Method ◽  
Fault Tolerant ◽  
Fault Tolerant Control ◽  
Control Law ◽  
System Control ◽  
Sensor Fault ◽  
Simulation Results

Abstract A fault tolerant control method is proposed for Quanser SRV-02 System in order to maintain the required performance in the presence of sensor failures. The proposed approach integrates control law and a sensor fault tolerance schema. Theoretical analysis and simulation results have confirmed the effectiveness of the proposed method.

Development of Safety-Critical Control Systems in Event-B Using FMEA

2012 ◽  
pp. 75-91
Author(s):  
Yuliya Prokhorova ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Vyacheslav Kharchenko
Keyword(s):  
Fault Tolerance ◽  
Control Systems ◽  
Failure Mode ◽  
System Development ◽  
Formal System ◽  
System Specification ◽  
Effect Analysis ◽  
Safety Critical ◽  
Intensive Control

Application of formal methods, in particular Event-B, helps us to verify the correctness of controlling software. However, to guarantee the dependability of software-intensive control systems, we also need to ensure that safety and fault tolerance requirements are adequately represented in a system specification. In this chapter we demonstrate how to integrate the results of safety analysis, in particular failure mode and effect analysis (FMEA), into formal system development in Event-B. The proposed methodology is exemplified by a case study.

Sign in / Sign up

Export Citation Format

Share Document