Dwork, Lynch, and Stockmeyer (1988) and Lamport (1998) showed that, in order to solve Consensus in a distributed system, it is sufficient that the system behaves well during a finite period of time. In sharp contrast, Chandra, Hadzilacos, and Toueg (1996) proved that a failure detector that, from some time on, provides “good” information forever is necessary . We explain that this apparent para...

The paper presents objectives and results of a series of case studies in computer support for diagnosis, failure mode and effects analysis, and the creation of repair manuals in the domain of automotive systems. Model-based prediction and diagnosis reflect the requirements of these tasks. More specifically, qualitative models of system components are necessary for both capturing the available k...

A failure mode and effect analysis (FMEA) was applied to improve the design of concrete ties in ballasted track for North American heavy haul applications. A literature review was conducted on concrete tie failure modes, failure effects, and failure causes. A survey of railroads and transit authorities in North America provided a ranking of the most critical concrete tie failure modes. The most...

We present a mechanism based on Chandra and Toueg unreliable failure detectors model. This mechanism can be used as building block for distributed systems running on Internet and requiring a non-blocking agreement between their components. The protocol we propose tolerates both local participants and groups of participants' failures in a large-scale and asynchronous environment prone to failures.

Diagnosis, i.e., fault localization in case of observing an unexpected behavior, is an important practical problem. During the past decades researchers have suggested several approaches for using models of the systems directly for identifying the root causes of failure. This model-based diagnosis approaches are either based on retaining consistency or on abduction. Despite their advantages both...

Abstract— The design quality holds a decisive influence on success of product. Our work is comprehensive study of software metrics to evaluate quality in the design phase which will be beneficial to find, repair design problems and saves large amount of potential expenditure. This paper evaluates employment of several design methods such as Robust Engineering Design, Failure Mode and Effect Ana...

For proper management of life cycle of machines and manufacturing facilities, it is important to perform appropriate maintenance operations, and to keep machine status for better reuse and recycling opportunity. For this purpose, a virtual maintenance system is very effective, where facility life cycle model is constructed in computer, and reliability and availability of machines are predicted ...

0957-4174/$ see front matter 2012 Elsevier Ltd. A http://dx.doi.org/10.1016/j.eswa.2012.08.010 ⇑ Corresponding author. Address: College of De University, 1239 Siping Road, Shanghai 200092, PR 6598 3432. E-mail addresses: [email protected] (H.-C (L. Liu), [email protected] (N. Liu). Failure mode and effects analysis (FMEA) is a risk assessment tool that mitigates potential failures in sys...

In this paper, we propose the partition approach and define several new classes of partitioned failure detectors weaker than existing failure detectors for the k-set agreement problem in both the shared-memory model and the message-passing model. In the shared-memory model with n + 1 processes, for any 2 ≤ k ≤ n, we first propose a partitioned failure detector ΠΩk that solves k-set agreement wi...

FMEA was formally introduced in the late 1940s for military usage by the US Armed Forces. Later, it was used for aerospace/rocket development to avoid errors in small sample sizes of costly rocket technology. FMEA enables the team to design those failures out of the system with the minimum of effort and resource expenditure, thereby reducing development time and costs. It is widely used in manu...