This paper presents a general testing coverage software reliability modeling framework that covers imperfect debugging and considers not only fault detection processes (FDP) but also correction (FCP). Numerous growth models have evaluated the of over last few decades, most them attached importance to process rather than process. Previous studies analyzed time dependency between modeled as delay...

Abstract. X-ray tomographic image reconstruction consists of determining an object function from its projections. In many applications such as non-destructive testing, we look for a fault region (air) in a homogeneous, known background (metal). The image reconstruction problem then becomes the determination of the shape of the default region. Two approaches can be used: modeling the image as a ...

Currently available fault tree analysis techniques are not powerful enough to allow engineers to fully exploit these trees. Large fault trees require hours of CPU time on mainframe computers to be analysed, and this analysis provides designers only with approximate qualitative and quantitative informations. This paper presents data structures and algorithms that support the interactive exact an...

Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSBDD) can be used for representation, simulation and fault modeling of digital circuits. It is shown how the first phase of any fault simulation algorithm: the fault-free simulation can be accelerated using this model. Moreover, ...

This paper presents fault tolerant control systems FTC in a hybrid system framework. Due to the discrete nature of fault occurrence and reconfiguration, FTC systems are considered hybrid in nature. Thus, in this work, actuator fault recoverability is studied by utilizing a controllability concept of hybrid systems. The hybrid formalism allows the recoverability’s analysis based on the controlla...

Software fault-tolerance techniques have been widely used in computing systems to achieve high level of quality. Rejuvenation, a modern software fault-tolerance technique, has attracted a large number of researchers in software engineering area. Evaluating the effectiveness and feasibility of this technique becomes extremely important in selecting, comparing and applying it in actual software s...

A generalized Markov chain representation of fault dynamics is presented for the case that available modeling of fault growth physics and future environmental stresses can be represented by two independent stochastic process models. A contrived but representatively challenging example will be presented and analyzed, in which uncertainty in the modeling of fault growth physics is represented by ...

This paper proposes a new fault model and its modeling and analysis methods in a clockless asynchronous wave pipeline for extensive yield evaluation and assurance. It is highly desirable to have an adequate and specific pulse fault rate model for establishing a sound theoretical foundation for clockless wave pipeline design for reliability. The pulse fault model is thoroughly identified as the ...

An efficient method of parallel fault simulation for combinational circuits is proposed. The method is based on structurally synthesized BDDs (SSBDD) which allow to represent gate level circuits at higher macro level where macros represent subnetworks of gates. Converting the gate-level circuits to the macrolevel is accompanied with corresponding fault collapsing. A parallel fault analysis algo...

This chapter outlines the basic principles and most important approaches of modelbased fault detection and isolation (FDI) and, to a certain degree, fault diagnosis, using linear models. Both the parity space approach and the concept of observer-based residual generation are described in input-output format. The well established parameter estimation approach to fault analysis is briefly describ...