Sökning: "control flow checking"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden control flow checking.

1. 1. Hardware and Software Mechanisms for Control Flow Checking

   Författare :Ghassem Miremadi; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault tolerance; error detection latency; signature monitoring; watchdog processor; dependability evaluation; transient faults; physical fault injection; concurrent error detection; control flow checking; error detection coverage;

   Sammanfattning : The improvement of dependability in computing systems requires the evaluation of fault tolerance mechanisms such as error detection, error recovery and reconfiguration. Central to this thesis is an experimental evaluation of several hardware and/or software implemented mechanisms for the concurrent detection of control flow errors. LÄS MER

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

   Författare :Marcus Rimén; Chalmers tekniska högskola; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

4. 3. On Concurrent Error Detection and Error Propagation

   Författare :Joakim Ohlsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; error models; control flow monitoring; simulation experiments; concurrent error detection; permanent faults; watchdog processors; fault injection; transient faults;

   Sammanfattning : This thesis addresses three important steps in the selection of error detection mechanisms for microprocessors: (i) the design and evaluation of error detection mechanisms, (ii) the study of microprocessor error behavior and propagation and (iii) the design and use of error models. The first part of the thesis evaluates four error detection methods with respect to para- meters such as error detection coverage and performance loss, while the second and third parts focus on determining the error patterns most likely to occur in a computer system when different types of faults are present and how to incorporate those error patterns into error models. LÄS MER

5. 4. Procedure-Modular Verification of Temporal Safety Properties

   Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

   Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER

7. 5. Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data

   Författare :Sofia Cassel; Bengt Jonsson; Frits Vaandrager; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Formal models are often used to describe the behavior of a computer program or component. Behavioral models have many different usages, e.g., in model-based techniques for software development and verification,such as model checking and model based testing. LÄS MER