scholarly journals Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking

2005 ◽  
Vol 118 ◽  
pp. 57-70 ◽  
Author(s):  
S. Gnesi ◽  
G. Lenzini ◽  
F. Martinelli
Keyword(s):  
Model Checking ◽  
Fault Tolerant ◽  
Partial Model ◽  
Logical Specification ◽  
Fault Tolerant Systems

Model checking fault tolerant systems

2002 ◽  
Vol 12 (4) ◽  
pp. 251-275 ◽  
Author(s):  
Cinzia Bernardeschi ◽  
Alessandro Fantechi ◽  
Stefania Gnesi
Keyword(s):  
Model Checking ◽  
Fault Tolerant ◽  
Fault Tolerant Systems

Fault-tolerant systems with concurrent error-locating capability

2003 ◽  
Vol 18 (2) ◽  
pp. 190-200 ◽  
Author(s):  
JianHui Jiang ◽  
YingHua Min ◽  
ChengLian Peng
Keyword(s):  
Fault Tolerant ◽  
Fault Tolerant Systems

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

2013 ◽  
pp. 163-177 ◽  
Author(s):  
Ramiro Demasi ◽  
Pablo F. Castro ◽  
Thomas S. E. Maibaum ◽  
Nazareno Aguirre
Keyword(s):  
Fault Tolerant ◽  
Fault Tolerant Systems

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

2008 ◽  
Vol 28 (2) ◽  
pp. 355-375 ◽  
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.

Sign in / Sign up

Export Citation Format

Share Document