Grid computing is defined as a hardware and software infrastructure that enables sharing of coordinated resources in a dynamic environment. In grid computing, the probability of a failure is much greater than parallel computing. Therefore, the fault tolerance is an important issue in order to achieve reliability, availability of resources. When scheduling a job, the resource uses both average f...

Fault localization can be used to prioritize the statements of a program according to the likelihood that each contains a fault that causes a known failure [Jones et al. 2002; Renieres and Reiss 2003]. Regression test prioritization is used to order statements according to early achievement of some testing goal such as coverage [Elbaum et al. 2000; Li et al. 2007; Rothermel et al. 2001; Yoo and...

This paper deals with fault detection and classification as a part of our on-going research in the integrated design of reconfigurable control systems. The objective of reconfigurable control is to provide fault-tolerant control in an uncertain or changing environment. This will be accomplished by detecting changes in the current operation of the system from what is expected and then changing t...

This paper deals with the analysis of nonlinear reachability and fault tolerant properties of multiactuator nonlinear systems. In this case, the process is a steam generator process containing a set of actuators. After occurrence of one or several actuator faults detected and isolated by Fault Detection and Isolation (FDI) approaches, a quantitative analysis of the faulty system properties help...

When injecting faults in digital systems, most approaches measures only the probability of a fault leading to a failure. This paper addresses the necessity of considering also the fault rates to get reasonable results from the fault injection experiment. For solving this problem we developed a VHDL-based fault injection tool, which allows the correct fault description and which is able to maint...

A Wireless Sensor Network (WSN) is a special case of wireless ad hoc network consisting of a large no of Sensor Nodes(SNs) where each SN consists of a microcontroller, memory, battery unit together with a communication interface. WSNs are having a variety of applications in industrial, medical and military areas. Sensing is performed by the SNs and sensed data is processed and shared via a radi...

The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is pres...

Increasingly, fault-tolerant distributed software applications use a separate architecture for failure detection instead of coding the mechanisms inside the application itself. Such a structure removes the intricacies of the failure detection mechanisms from the application, and avoids repeating them in every program. However, successful system reconfiguration now depends on the management arch...

Large scale High Level Architecture (HLA)-based simulations are built to study complex problems, and they often involve a large number of federates and vast computing resources. Simulation fed-erates running at different locations are subject to failure. The failure of one federate can lead to the crash of the overall simulation execution. Such risk increases with the scale of a distributed sim...

When injecting faults in digital systems, most approaches measures only the probability of a fault leading to a failure. This paper addresses the necessity of considering also the fault rates to get reasonable results from the fault injection experiment. For solving this problem we developed a VHDL-based fault injection tool, which allows the correct fault description and which is able to maint...