1 / 9

WP3 Modelling & Testing Theory

WP3 Modelling & Testing Theory. Fault Models Jonny Vinter, SP. Fault Models in D3.1. Mutations SW fault models Mutation testing is used for test case assessment and for fault removal before runtime Failure Mode Functions (FMFs)

chiko
Download Presentation

WP3 Modelling & Testing Theory

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. WP3Modelling & Testing Theory Fault Models Jonny Vinter, SP

  2. Fault Models in D3.1 • Mutations • SW fault models • Mutation testing is used for test case assessment and for fault removal before runtime • Failure Mode Functions (FMFs) • HW fault models (denoted as Failure modes in e.g. safety standards) • Implemented by fault injection blocks • Fault injection is used to evaluate fault tolerance during run-time • Can also be used to emulate communication errors

  3. Automotive HW Fault Models • Failure modes according to IEC 61508 • IEC 61508-6 Table C.1 provides an informative example (Open Circuit, Short-Circuit, Drift, Function) of failure modes

  4. Automotive/Machinery HW Fault Models • IEC 61508, on which the upcoming automotive standard ISO 26262 is based, has a similar fault list as EN 50129 • A HW fault list for electrical/electronic control systems in machinery can be found in the standard ISO 13849-2

  5. Mutations • For programming languages • Statement insertion/deletion • Fixing the outcome/Replacement of sub-expressions • Modifications of arithmetic operations (+, *, -) or nodes • Modifications of Boolean operations • Variable permutations • For state machines • Modification of target states of transition( edge)s • Insertion/removal of transition( edge)s • Modification of trigger events • Modification of guards • Modification of actions

  6. Failure Mode Functions (FMFs) • Boolean FMFs • Real/Integer FMFs • FMFs at operator level • FMFs at bit level • FMFs at communication level

  7. Failure Mode Function (FMF) FMF applied on signal FMF applied on operator

  8. Example FMF in Simulink (FORD model)

  9. FI Triggers (Timing Properties) Transient fault Intermittent fault Semi-permanent fault Permanent fault

More Related