Sökning: "functional error model"

Visar resultat 1 - 5 av 42 avhandlingar innehållade orden functional error model.

1. 1. 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. 2. 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. 3. Global functional association network inference and crosstalk analysis for pathway annotation

   Författare :Christoph Ogris; Erik Sonnhammer; Alfonso Valencia; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; biological networks; genome wide functional association networks; global gene association networks; gene networks; protein networks; functional association; functional coupling; network biology pathway analysis; pathway annotation; pathway enrichment; network-based enrichment; enrichment; Biochemistry towards Bioinformatics; biokemi med inriktning mot bioinformatik;

   Sammanfattning : Cell functions are steered by complex interactions of gene products, like forming a temporary or stable complex, altering gene expression or catalyzing a reaction. Mapping these interactions is the key in understanding biological processes and therefore is the focus of numerous experiments and studies. LÄS MER

5. 4. Architecting model driven system integration in production engineering

   Författare :Yujiang Li; Lars Mattsson; Gunilla Franzén Sivard; Torsten J. A. Kjellberg; Mikael Hedlind; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; System architecture; system integration; information model; ISO 10303; application context; implementation context; implementation model.; Production Engineering; Industriell produktion;

   Sammanfattning : System integration is a key enabler to maximize information value in an engineering context. The valuable information is normally represented by information models which play a decisive role in the implementation of system integration. LÄS MER

7. 5. Functional Programming for Embedded Systems

   Författare :Abhiroop Sarkar; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Timing; Concurrency; Functional Programming; Virtual Machine; Language Runtime;

   Sammanfattning : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. LÄS MER