Characterizing Fault-Tolerant Systems by Means of Simulation Relations

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-38613-8_29 ◽

2013 ◽

pp. 428-442 ◽

Cited By ~ 4

Author(s):

Ramiro Demasi ◽

Pablo F. Castro ◽

Thomas S. E. Maibaum ◽

Nazareno Aguirre

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems ◽

Simulation Relations

Download Full-text

Fault-tolerant systems with concurrent error-locating capability

Journal of Computer Science and Technology ◽

10.1007/bf02948884 ◽

2003 ◽

Vol 18 (2) ◽

pp. 190-200 ◽

Cited By ~ 3

Author(s):

JianHui Jiang ◽

YingHua Min ◽

ChengLian Peng

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text

Multi-robot manipulation and maintenance for fault-tolerant systems

2011 IEEE International Conference on Robotics and Automation ◽

10.1109/icra.2011.5979571 ◽

2011 ◽

Cited By ~ 1

Author(s):

Satoshi Hoshino ◽

Hiroya Seki ◽

Jun Ota

Keyword(s):

Fault Tolerant ◽

Robot Manipulation ◽

Fault Tolerant Systems ◽

Multi Robot

Download Full-text

Modeling and analysis of repair and maintenance processes in Fault Tolerant Systems

2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS) ◽

10.1109/dft.2013.6653616 ◽

2013 ◽

Cited By ~ 1

Author(s):

J.-Y. Hung ◽

N.-J. Park ◽

K.M. George ◽

N. Park

Keyword(s):

Fault Tolerant ◽

Modeling And Analysis ◽

Fault Tolerant Systems

Download Full-text

A self-adaptive fault-tolerant systems for a dependable Wireless Sensor Networks

Design Automation for Embedded Systems ◽

10.1007/s10617-013-9126-1 ◽

2014 ◽

Vol 18 (3-4) ◽

pp. 223-250 ◽

Cited By ~ 4

Author(s):

Tiong Hoo Lim ◽

Iain Bate ◽

Jon Timmis

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Fault Tolerant ◽

Wireless Sensor ◽

Fault Tolerant Systems ◽

Self Adaptive

Download Full-text

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-02444-8_13 ◽

2013 ◽

pp. 163-177 ◽

Cited By ~ 5

Author(s):

Ramiro Demasi ◽

Pablo F. Castro ◽

Thomas S. E. Maibaum ◽

Nazareno Aguirre

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text

A continuous-time semi-markov bayesian belief network model for availability measure estimation of fault tolerant systems

Pesquisa Operacional ◽

10.1590/s0101-74382008000200011 ◽

2008 ◽

Vol 28 (2) ◽

pp. 355-375 ◽

Cited By ~ 3

Author(s):

Márcio das Chagas Moura ◽

Enrique López Droguett

Keyword(s):

Hybrid Model ◽

Markov Processes ◽

Continuous Time ◽

Fault Tolerant ◽

Numerical Procedure ◽

Bayesian Belief Networks ◽

Operational Conditions ◽

Fault Tolerant Systems ◽

Semi Markov Processes ◽

Availability Measure

In this work it is proposed a model for the assessment of availability measure of fault tolerant systems based on the integration of continuous time semi-Markov processes and Bayesian belief networks. This integration results in a hybrid stochastic model that is able to represent the dynamic characteristics of a system as well as to deal with cause-effect relationships among external factors such as environmental and operational conditions. The hybrid model also allows for uncertainty propagation on the system availability. It is also proposed a numerical procedure for the solution of the state probability equations of semi-Markov processes described in terms of transition rates. The numerical procedure is based on the application of Laplace transforms that are inverted by the Gauss quadrature method known as Gauss Legendre. The hybrid model and numerical procedure are illustrated by means of an example of application in the context of fault tolerant systems.

Download Full-text