This document describes the process we followed for assessing the feasibility and effectiveness of high-level test vector generation. An experimental analysis of the available high-level fault models is first reported, whose purpose is to identify a reference fault model that could be fruitfully used for evaluating testability of circuits by reasoning on their behavior, only. A prototypical hig...

A cluster based ultra reliable architecture is pre sented o ering synchronization and system function ality comparable to that of fully connected systems with reduced system overheads Existing combina torial and Markov models do not su ciently model concurrently occurring faults in such large systems A reliability model considering the distribution of con current faults across the system cluste...

This paper proposes a new fault attack technique on the LED block cipher using a single fault injection by combining algebraic side-channel attack (ASCA) and differential fault attack (DFA). We name it as algebraic differential fault attack (ADFA). Firstly, a boolean equation set is constructed for LED using algebraic techniques. Then, the fault differences of the S-Box inputs in the last round...

We present the tool UFIT (Uppaal Fault Injector for Timed automata). In UFIT, we model five types of faults, namely, message loss, transient, byzantine, stuck-at, and fail-stop faults. Given the fault-free timed automata model and the selection of a type of fault, UFIT models the faults and generates the fault-affected timed automata model automatically. As a result, the designer can analyze th...

This paper deals with the application of artificial neural networks (ANNs) to the fault detection and location in extra high voltage (EHV) transmission lines for high speed protection using one terminal line. The neural fault detector and locators have been trained with different sets of data available from a selected power network model and simulating different fault scenarios (fault types, fa...

In this report we present a new fault attack that applies to some implementations of elliptic curve scalar multiplication (ECSM). We consider the fault model with 'precise control of time', 'loose control of fault location' and 'random number of faulty bits'. We show that in this fault model the secret key can be revealed with polynomial time complexity and linear number of faults. In addition,...

We propose a new fault block model, Minimal-Connected-Component (MCC), for fault-tolerant adaptive routing in meshconnected multiprocessor systems. This model refines the widely used rectangular model by including fewer nonfaulty nodes in fault blocks. The positions of source/destination nodes relative to faulty nodes are taken into consideration when constructing fault blocks. The main idea be...

Several model-based reasoning tasks benefit from the use of models at multiple levels of abstraction, where a system is described hierarchically as a set of subsystems (which can in turn be decomposed down to basic components). Providing models at multiple level of abstraction by hand is not an option because it would easily lead to inconsistencies. In this paper we propose an approach to synth...

Debugging programs is a complicated and cumbersome task. It is an iterative process which includes hypothesizing the cause of a failure and validating the hypothesis. Since programs comprise of many components with complex interactions this chain often involves several trials. Fault localization (FL) is the task of identifying components that are likely to cause the failure. Automated fault loc...