Search for dissertations about: "self-checking"

Found 3 swedish dissertations containing the word self-checking.

  2. 1. On the application of data diversity in dependable flight control systems

    Author : Jörgen Christmansson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; data diversity; Markov modellling; self-checking; simulation-based fault injection; Heisenbugs; software design faults; error recovery;

    Abstract : .... READ MORE

  4. 2. Switch-Level Fault Simulation Based on Local Algorithms

    Author : Peter Dahlgren; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; switch level; fault propagation; fault simulation; physical fault injection; short faults; stuck-at faults; fault modeling; transients; self-checking circuits; multiple dominance;

    Abstract : The presence of realistic faults in CMOS networks, such as shorts and opens, frequently gives rise to intermediate voltage values. At the switch level, these values result in undetermined logic states (X) which are likely to propagate to the outputs, causing uncertainty in the estimation of test set efficiency. READ MORE

  5. 3. Fault Injection for Studying Error Behavior and Validation of Error Detecting Mechanisms

    Author : Marcus Rimén; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; concurrent error detection; functional error model; control flow error; error detection coverage; permanent faults; data error; error detection latency; simulation-based fault injection; transient faults; physical fault injection; dependability evaluation;

    Abstract : This thesis deals with the design and validation of low-cost error detecting mechanisms that can be used to implement self-checking computers. The research objectives of the thesis are three-fold: (i) to investigate and develop a simulation-based fault injection technique that can be used on a wide range of VHDL simulation models, (ii) to investigate error propagation mechanisms in microprocessors in order to understand how to design low-cost error detecting mechanisms and (iii) to design and validate error detecting mechanisms. READ MORE