Context: Business Process Execution Language (BPEL) is a widely recognized executable service composition language, which is significantly different from typical programming languages in both syntax and semantics, and especially shorter in program scale. How to effectively locate faults in BPEL programs is an open and challenging problem. Objective: In this paper, we propose a fault localizatio...

In this paper we present a case study of using interactive visualization of fault trees and fault tree analysis to improve understanding of the concept of fault trees and the exploration of the results of their analysis. The fault tree model is widely used by experts to analyze risks in many different fields. We believe that the current way of interacting with these fault tree models and the re...

Electromagnetic forces in power transformer windings are produced by interaction between the leakage fluxes and current passing them. Since the leakage flux distribution along the windings height is in two axial and radial directions, so the electromagnetic forces have two components, radial and axial. There is a risk that a large electromagnetic force due to the short circuit or inrush current...

Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the specification of fault-tolerance in agent interactions for the agents to be able to continue to function independently. Patterns are presented for the specification in Event-B of fault tolerance in multi-agent interactions.

This paper presents a design methodology for fault tolerant sequential systems implemented on System on Chip (SoC). In the paper, as an example, a complex fault tolerant finite state machine has been mapped on the FPGA contained in the SoC. The fault identification has been obtained by using a checker permitting the identification of class of faults. When a fault is detected, an interrupt for t...

Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the specification of fault-tolerance in agent interactions for the agents to be able to continue to function independently. Patterns are presented for the specification in Event-B of fault tolerance in multi-agent interactions.

[1] To examine the effects of branched fault geometry on the dynamics of fault systems in the long term, we perform multicycle simulations on generic faulting models. An explicit finite element algorithm is used to simulate spontaneous dynamic rupture of earthquakes. The fault stress during the interseismic period is evaluated by an analytical viscoelastic model. We find that the fault prestres...

The wheel-rail-sleepers system is simulated as a series of moving point loads on an Euler–Bernoulli beam resting on a visco-elastic half space. This paper concentrates on the railsleepers interaction system (railway system) and the fault detection. The main objective is to mathematically develop and implement a dynamic model of a railway system then the diagnosis of system defects using a Luenb...

We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects. A high-level causal language is defined in which properties such as the persistence of effects and the triggering or sustaining properties of causes can be expressed. Various interaction phenomena are associated with...