This paper presents a novel approach to the reliability modeling and analysis of a component-based system that allows dealing with multiple failure modes and studying the error propagation among components. The proposed model permits to specify the components attitude to produce, propagate, transform or mask different failure modes. These component-level reliability specifications together with...

due to the expected increase of defects in circuits based on deep submicron technologies, reliability has become an important design criterion. although different approaches have been developed to estimate reliability in digital circuits and some measuring concepts have been separately presented to reveal the quality of analog circuit reliability in the literature, there is a gap to estimate re...

This paper describes a sequential Monte Carlo simulation method for the reliability analysis of standby and emergency power systems. The results obtained from this method are compared with those from the Markov cut-set approach. It is shown that the Monte Carlo simulation can yield additional useful information on the probability distribution of indices in addition to obtaining the estimates of...

Monte Carlo simulation (MCS) provides a conceptually simple and robust method to evaluate the system reliability of slope stability, particularly in spatially variable soils. However, it suffers from a lack of efficiency at small probability levels, which are of great interest in geotechnical design practice. To address this problem, this paper develops a MCS-based approach for efficient evalua...

This paper proposes an approach for the modeling and analysis of autonomous agent mobility patterns which is based on discrete-time Markov chains graphicallyenhanced to improve modularity. Mobility patterns are associated to autonomous agents when they have to fulfil a distributed task involving migration to remote agent servers where agent computation and/or interaction can likely take place. ...

Reliability analysis is an important issue in wireless sensor networks (WSNs). This paper aims to study the reliability of a data flow in event-driven wireless sensor networks with multiple sending transmission approach without acknowledgments. Initially, an event-driven wireless sensor network model is described in terms of limited node battery energy and shadowed fading channels. Then, in ord...

Modern computer networks are complex and their topology can dynamically change when links go down. It is difficult to predict behaviour of a large network with dynamic routing protocols. To automatically prove survivability and reliability of an end-to-end connection, formal analysis combined with simulation can be exploited. In this paper, an approach based on detection of critical elements us...