The reliability data obtained from the field shows significant deviation from the expectation, especially from those obtained from reliability modelling. This hints that a more acurate model should be employed in the evaluation. A detailed model incorporating a transient fault in the form of hardware-software interaction offers a solution to this problem.

Generation of test vectors for the VLSI devices used in contemporary digital systems is becoming much more difficult as these devices increase in size and complexity. Automatic Test Pattern Generation (ATPG) techniques are commonly used to generate these tests. Since ATPG is an NP complete problem with complexity exponential to circuit size, the application of parallel processing techniques to ...

Space-time clustering is the most striking departure of large earthquakes occurrence process from randomness. These clusters are usually described ex-post by a physics-based model in which earthquakes are triggered by Coulomb stress changes induced by other surrounding earthquakes. Notwithstanding the popularity of this kind of modeling, its ex-ante skill in terms of earthquake predictability g...

We demonstrate a rupture front focusing phenomenon at the initial stage of earthquake, which causes high slip rate pulses and therefore generates high frequency seismic waves. In this computation, we assume a pre-slip region, where stress has already lowered quasi-statically to the dynamic friction level. And due to the pre-slip, we suppose a stress concentration at the edge of pre-slip area. T...

This paper addresses the rigorous validation of an integrity policy by means of the application of formal methods and related support tools. We show how the policy, which provides a flexible fault tolerant schema, can be specified using a process algebra and verified using model checking techniques. Actually, we show how this approach allows both the generic validation of a middleware based on ...

In this paper, natural language (nl) dialogue is suggested as interaction technique for personalized EPGs to handle a variety of well-known problems. nl interaction addresses the new-user cold-start problem since the necessary user model can be gathered gracefully, without the high initial user effort prominent in traditional recommendation systems. It is argued that nl interaction enhances the...

The goal of this paper is twofold. Firstly, we present a way of extracting interactions between objects and enclosing them by using multiparty interactions. In a multiparty interaction, several executing threads somehow \come together" to produce an intermediate and temporary combined state, use this state to execute some activity, and then leave this interaction and continue their normal execu...

This paper provides a different view for understanding problems and faults with the goal of defining a method for the formal specification of systems. To accomplish this task we need to pass through a non trivial number of steps, concepts and tools where the first one, the most important, is the concept of method itself, since we realized that computer science has a proliferation of languages b...

steering assist system controls the force transfer behavior of the steering system and improves the steering probability of the vehicle. moreover, it is an interface between the diver and vehicle. fault detection in electrical assisted steering systems is a challenging problem due to frequently use of these systems. this paper addresses the fault detection and reconstruction in automotive elect...

In this paper, a method of low power analog testing is proposed. In spite of having Oscillation Based Built in Self-Test methodology (OBIST), a look up table based (LUT) low power testing approach has been proposed to find out the faulty circuit and also to sort out the particular fault location in the circuit. In this paper an operational amplifier, which is the basic building block in the ana...