Sökning: "software fault injection"

Visar resultat 1 - 5 av 27 avhandlingar innehållade orden software fault injection.

1. 1. Model-Implemented Fault Injection for Robustness Assessment

   Författare :Rickard Svenningsson; Martin Törngren; Sasikumar Punnekkat; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault Injection; Model-Implemented Fault Injection; Robustness; Assessment; ISO 26262; ISO 61508; Software;

   Sammanfattning : The complexity of safety-related embedded computer systems is steadilyincreasing. Besides verifying that such systems implement the correct functionality, it is essential to verify that they also present an acceptable level of robustness. LÄS MER

3. 2. On Aspect-Oriented Implementation of Fault Tolerance

   Författare :Ruben Alexandersson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Aspect-Oriented Programming; Fault Tolerance; Error Detection; Fault Injection;

   Sammanfattning : This thesis investigates the use of aspect-oriented programming for the purpose of implementing fault-tolerance in software. The feasibility of aspect-oriented programming languages is evaluated from the perspectives of expressiveness, overhead, and fault coverage. LÄS MER

4. 3. Techniques for software implemented fault tolerance

   Författare :Ruben Alexandersson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault tolerance; aspect oriented programming; software fault injection;

   Sammanfattning : Software implemented node level fault tolerance is an important technique for meeting dependability requirements in embedded safety critical systems. This thesis deals with both the issues of implementing mechanisms for fault tolerance and their validation. LÄS MER

5. 4. Learning-based Testing for Automotive Embedded Systems : A requirements modeling and Fault injection study

   Författare :Hojat Khosrowjerdi; Karl Meinke; Dilian Gurov; Cristina Seceleanu; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Machine learning; fault injection; requirements testing; embedded systems; model checking; automotive software; requirements modeling; Computer Science; Datalogi;

   Sammanfattning : This thesis concerns applications of learning-based testing (LBT) in the automotive domain. In this domain, LBT is an attractive testing solution, since it offers a highly automated technology to conduct safety critical requirements testing based on machine learning. LÄS MER

7. 5. On Fault Injection-Based Assessment of Safety-Critical Systems

   Författare :Daniel Skarin; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Transient Faults; Fault Injection; Error Detection and Recovery; Fault Tolerance; Embedded Control Systems;

   Sammanfattning : This thesis deals with techniques for designing and evaluating error detection and recovery mechanisms for computer systems. For the assessment of such systems, we describe a comprehensive fault injection tool that is capable of emulating the effects of hardware errors in microprocessors. LÄS MER