Sökning: "dependability validation"
Visar resultat 1 - 5 av 9 avhandlingar innehållade orden dependability validation.
1. On dependability validation of safety critical systems
Sammanfattning : .... LÄS MER
2. Assessment and Comparison of Physical Fault Injection Techniques
Sammanfattning : 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. LÄS MER
3. On the Design and Validation of Fault Containment Regions in Distributed Communication Systems
Sammanfattning : 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. LÄS MER
4. Physical fault injection for validation of dependable computing systems and a fault-tolerant computer design for safety critical missions
Sammanfattning : .... LÄS MER
5. Reliability evaluation of a fault-tolerant computer for a multi-phased mission and use of heavy-ion radiation for fault injection experiments
Sammanfattning : .... LÄS MER