Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortium of European companies and academic institutions has been investigating the design and development of a Generic Upgradable Architecture for Real-time Dependable Systems (GUARDS). The architecture aims to be tolerant o...

Dissolved gas analysis (DGA) has been widely applied to diagnose internal faults in transformer insulation systems. However, the accuracy of DGA technique is limited because of the lack of positive correlation of the fault-identifying gases with faults found in power transformers. This paper presents a laboratory study on the correlation between oil dissolved gas formation and partial discharge...

Microprocessors are becoming increasingly complex and difficult to debug. Researchers are constantly looking for new methods to increase the observability and control-lability of microprocessors. This paper introduces a new method to improve the observability of modern microprocessors and thus simplifying the task of debugging them. The method revolves around an observation circuit that provide...

In order to be able to tolerate the effects of faults, we must first detect the symptoms of faults, i.e. the errors. This paper evaluates the error detection properties of an error detection scheme based on the concept of executable assertions aiming to detect data errors in internal signals. The mechanisms are evaluated using error injection experiments in an embedded control system. The resul...

Although model-based fault tolerant control (FTC) has become prevalent in various engineering fields, its application to air-conditioning systems is limited due to the lack of controloriented models to characterize the phase change of refrigerant in the vapor compression cycle. The emergence of moving boundary method (MBM) illuminates a promising way for FTC design. In this paper, we exploit a ...

The problem of fault diagnosis in the domains of robotics and autonomous systems are unique and interesting. A hidden internal fault affects not only other hardware components, as in any other machine, but also the different layers of abstraction and control in the sensethink-act cycle that the robot carries. We propose to implement a model-based diagnosis approach by utilizing the robot's cont...

In this paper the design and formal veri cation of the lower levels of the of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital ight control applications, are presented. The RCP uses NMR-style redundancy to mask faults and internal majority voting to ush the e ects of transient faults. Two new layers of the RCP hierarchy are introduced: the Minimal Voting re n...

Advanced Encryption Standard (AES) is the symmetric key standard for encryption and decryption. In this work, a 128-bit AES encryption and decryption using Rijndael Algorithm is designed and synthesized using verilog code. The fault detection scheme for their hardware implementation plays an important role in making the AES robust to the internal and malicious faults. In the proposed AES, a com...

This paper starts with a comprehensive survey on RTL ATPG. It then proposes a novel RTL ATPG model based on ”Gate Inherent Faults” (GIF). These GIF are extracted from each complex gate (adder, case-statement, etc.) of the RTL source code individually. They are related to the internal logic paths of a complex gate. They are not related to any net/signal in the RTL design. It is observed, that wh...

Abstract: We focus on the detection of incipient faults in an internal combustion engine using a minimum number of sensory information. Inducing several faults in a 4 stroke diesel engine, cylinder pressure (P) and vibration (V) data are acquired. Two sets of artificial neural nets (ANN) are trained separately, using features from the pressure and vibration data. Both sets of nets show very goo...