Sökning: "error simulation"

Visar resultat 1 - 5 av 349 avhandlingar innehållade orden error simulation.

  1. 1. Rigorous Simulation : Its Theory and Applications

    Författare :Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Sammanfattning : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. LÄS MER

  2. 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

  3. 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

  4. 4. Simulation of contact, friction and wear in gears : a finite element approach

    Författare :Olle Lundvall; Linköpings universitet; []
    Nyckelord :Gears; Gear noise; Contact mechanics; Simulation; Friction; Wear; Transmission error;

    Sammanfattning : In this thesis, resent methods in computational contact mechanics is brought into the process of gear design. The finite element method is used to model two elastic bodies in contact. By defining a contact interface between these two bodies, constitutive laws, regarding normal contact, friction and wear, are included. LÄS MER

  5. 5. Enabling Timing Analysis of Complex Embedded Software Systems

    Författare :Johan Kraft; Christer Norström; Anders Wall; Ian Broster; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded-systems; Real-time-systems; Timing-analysis; Simulation; Simulation-optimization; Simulation-Model-Extraction; Source-code-analysis; Run-time-monitoring; Model-validation; Computer science; Datavetenskap; Computer Science; datavetenskap;

    Sammanfattning : Cars, trains, trucks, telecom networks and industrial robots are examples of products relying on complex embedded software systems, running on embedded computers. Such systems may consist of millions of lines of program code developed by hundreds of engineers over many years, often decades. LÄS MER