Search for dissertations about: "dependability validation"

Showing result 1 - 5 of 9 swedish dissertations containing the words dependability validation.

2. 1. On dependability validation of safety critical systems

   Author : Sven Svensson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; VHDL; fault tolerance; coverage model; experimental validation; jet engine control; fault injection; FADEC; error detection; Markov model;

   Abstract : .... READ MORE

4. 2. Assessment and Comparison of Physical Fault Injection Techniques

   Author : Peter Folkesson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault tolerance; concurrent error detection; dependability; coverage; fault injection; experimental validation; boundary scan;

   Abstract : This thesis deals with the problem of validating and estimating the effectiveness of error handling mechanisms in computer systems. The main contribution is an assessment of the effectiveness and usefulness of several physical fault injection techniques. READ MORE

5. 3. On the Design and Validation of Fault Containment Regions in Distributed Communication Systems

   Author : Håkan Sivencrona; RISE; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; fault handling and membership agreement; Byzantine faults; asymmetric faults; fault injection; time-triggered protocol; fault containment regions; slightly-out-of-specification faults; validation;

   Abstract : This thesis has a two fold focus where the first is an evaluation of a time-triggered communication protocol implementation, TTP-C1, which was stressed by use of heavy-ion fault injection. The gathered result showed a novel type of failures, earlier known only from theory, so-called slightly-out-of-specification faults, that manifested as Byzantine failures with resulting system inconsistence. READ MORE

6. 4. Physical fault injection for validation of dependable computing systems and a fault-tolerant computer design for safety critical missions

   Author : Ulf Gunneflo; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; single event upsets; watchdog processors; Fault injection; transient faults; dependability validation; power supply disturbances;

   Abstract : .... READ MORE

7. 5. Reliability evaluation of a fault-tolerant computer for a multi-phased mission and use of heavy-ion radiation for fault injection experiments

   Author : Johan Karlsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Makrov modelling; dependability validation; single event upsets; error simulation; fault injection; transient faults;

   Abstract : .... READ MORE