System fault-tree analysis is a technique for modeling dependability that is in widespread use. For systems that include software, the integration of software data into fault trees has proved problematic. In this paper we discuss a number of techniques that can be used to make the assessment of software dependability by testing both more tractable and more suitable for use in system fault-tree ...

In this paper, the problem of robust fault diagnosis in a PEM Fuel Cell (PEM FC) system is addressed. Fault detection is based on a LPV interval observer able to face the variations of parameters with the operating while preserving the linear structure of the model. At the same time, this approach addresses the robustness problem against modeling uncertainty included as unknown parameters whose...

In modeling and location analysis, most traditional fault location methods do not consider about the existence of practical nonlinear model in distribution network, such as the nonlinearity of load and grounding resistor. Hence, the adopted model can’t express the practical network, and the location results will lose practical meaning. Aiming at solving the question above, this paper proposes a...

[1] The magnetotelluric dataset collected on the San Andreas Fault at Parkfield has been re-analyzed using superior inversion algorithms that have been developed in recent years. A combination of constrained inversion, forward modeling and synthetic inversion studies are used, and show that at the SAFOD site, the low resistivity fault zone extends to a depth of 2–3 km. An extended zone of low r...

This paper concerns fault detection and isolation based on neural network modeling. A neural network is trained to recognize the input-output behavior of a nonlinear plant, and faults are detected if the output estimated by the network differs from the measured plant output by more than a specified threshold value. In the paper, a method for determining this threshold based on the neural networ...

The near-source energy released on a fault is estimated through the strain energy change and the fracture energy from the results of kinematic waveform inversion and dynamic modeling for two different types of earthquakes: a shallow crustal earthquake, the 2000 Tottori, Japan (Mw 6.6) earthquake, and an in-slab event, the 1999 Oaxaca, Mexico (Mw 7.5) earthquake. The procedure incorporates the s...

This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool to support the dependability analysis of computer systems early in the design process. The proposed framework combines functional and behavioral modeling, fault injection and simulation. Starting from the RDD-100 model built by the system designers, two techniques are...

This paper presents a modeling procedure and diagnostic algorithm for fixture related faults in panel assembly. From geometric information about the panel and fixture, a fixture fault model can be constructed off-line. Combining the fault model with inline panel dimensional measurements, the algorithm is capable of detecting and classifying multiple fixture faults. The algorithm, which relies h...

Among all classes of faults, Byzantine faults form the most general modeling of value faults. Traditionally, in the Byzantine fault model, faults are statically attributed to a set of up to t processes. This, however, implies that in this model a process at which a value fault occurs is forever “stigmatized” as being Byzantine, an assumption that might not be acceptable for long-lived systems, ...

We outline relevant characteristics of the vehicle diagnosis domain and requirements for diagnosis support. We argue that a combination of a model-based and a fault-tree approach will meet the requirements. We motivate and specify the task of automated modeling and develop a method to derive linear algebraic models of a given device. Models are derived by performing series-parallel analysis and...