We present a general method for fault localization based on abstracting over program traces, and a tool that implements the method using Ernst’s notion of potential invariants. Our experiments so far have been unsatisfactory, suggesting that further research is needed before invariants can be used to locate faults.

Various diagnostics methods have been applied to machinery condition monitoring and fault diagnosis, with far from satisfactory levels of accuracy. With the development of modern multi-sensor based data acquisition technology often used in advanced signal processing, more and more information is becoming available for the purposes of fault diagnostics and prognostics of machinery integrity. It ...

Power transmission and distribution lines are the vital links that achieve the essential continuity of service of electrical power to the end users. Transmission lines connect the generating stations and load centers. As the generating stations are far away from the load centers they run over hundreds of kilometers. Hence, the chances of fault occurring in transmission lines are very high. Sinc...

Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting markets where costs is a major issue, and thus solutions are required which conjugate fault tolerance with low costs. In this paper, a softwarebased approach for developing safety-critical applications is analyzed. By e...

The faults of rotating machinery monitored by fixing the sensors on rotor directly brings some problems such as difficulty in fixing the sensors, poor universality and so on, while it brings some advantages such as rapidness, convenience and good universality and so on by fixing the sensors on the base. Since the base is far away from the fault source, the collected vibration signals are relati...

Fault detection, isolation and recovery is crucial in semiand fully-autonomous vehicles, particularly such vehicles as planetary rovers, which are far-removed from assistance, human or otherwise, in the event of a fault. Residual generation is a popular and conceptually simple method of model-based fault detection, comparing estimates of system properties with other estimates or measurements of...

Layer-bound, low-displacement normal faults, arranged into a broadly polygonal pattern, are common in many sedimentary basins. Despite having constrained their gross geometry, we have a relatively poor understanding of the processes controlling the nucleation and growth (i.e., the kinematics) of polygonal fault systems. In this study we use high-resolution 3-D seismic reflection and borehole da...

Noninvasive blood glucose sensors are still under development stage considering that they are far from being suitable for use in anartificial pancreas. The latter has three main parts: the blood glucose sensor, the insulin pump and the controller. However, for the biosensor analyzed here, some common failures such as signal shifts and unreal picks were found. They must be taken into account, fo...

Studies on the seismic response of skewed integral abutment bridges have mainly focused under far-field non-pulse-type ground motions, yet large amplitude and long-period velocity pulses in near-fault motions might significant impacts bridge response. In this study, nonlinear dynamic an (SIAB) pulse far-fault non-pulse type are analyzed considering soil–structure interaction, along with paramet...