We present a formal veriication of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital ight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the eeects of transient faults. The system design has been formally speci-ed and veriied using the Ehdm veriic...

A method for the realization of fail-safe sequential circuits is presented where flip-flops are employed for representing the internal states. First, such a design technique where the circuit will be trapped in an erroneous state into which it is transferred by a fault is shown. Further, the condition for assuring that the circuit will be dropped into the particular (predetermined) final state ...

This article presents a novel technique to distinguish between magnetizing inrush current and internal fault current of power transformer. An algorithm has been developed around the theme of the conventional differential protection method in which parallel combination of Probabilistic Neural Network (PNN) and Power Differential Protection (PDP) methods have been used. Both PNN and PDP method ar...

The goal of this study is to explore how fault-proneness of open source software (OSS) could be explained in terms of internal quality attributes and maintenance process metrics. We reviewed earlier studies and performed a multiple case study of eight Java-based projects based on data available in the Source Forge repository. Overall, we studied 342 releases of those systems. As is usual, softw...

Keccak-based algorithms such as Secure Hash Algorithm-3 (SHA3) will be widely used in crypto systems, and evaluating their security against different kinds of attacks is vitally important. This paper presents an efficient differential fault analysis (DFA) method on all four modes of SHA-3 to recover an entire internal state, which leads to message recovery in the regular hashing mode and key re...

6 [1] We examine the work energy budget of actively deforming fault systems in order to 7 develop a means of examining the systemic behavior of complex fault networks. Work 8 done in the deformation of a faulted area consists of five components: (1) work done 9 against gravity in uplift of topography (Wgrav); (2) internal energy of the strained host rock 10 (Wint); (3) work done resisting frict...

In this paper, grid disturbances like asymmetrical sag and swell faults in phase-A are analyzed for the grid connected DFIG. The dynamic behavior of DFIG is compared and tabulated with results using state error compensators like PI, PI with resonant (PIR) and internal model control (IMC) on rotor side converter (RSC). The RSC is designed analytically with enhanced field oriented control (EFOC) ...