Source

Domain

C1) Specification

C2) Test

Selection

Criteria

C3) Execution

and Feedback

Manipulation

C4) Feedback

Integration

C5) Type, Implementation, Observability and Level

[17]

[96]

[97]

Integrated

circuits

Stuck-at, open, complex

logical faults, ...

As spec. contact

or contactless, time triggered

Offline

HWIFI (pin-level

or insertion, heavy-ion radiation, electromagnetic)

Real system, microprocessors/

integrated circuits, system

[98]

Integrated

circuits

Fault model (saboteurs,

mutants), some mutants

generated automatically

As spec.

Offline

MIFI

VHDHL model, integration/system

[94]

Automotive

Fault models, failure

mode function

(mutants and saboteurs),

requirements

(Simulink assertion

blocks), time window

As spec. minimal cut

sets

Offline

MIFI

Matlab/Simulink, unit

[99]

[100]

Automotive

Selection of component/

fault nodes in

simulation model

As spec.

Offline

MIFI/SWIFI

(injection in generated code)

C (generated out of

SCADE), unit

[101]

Embedded

systems

Mathematical description

of functions and

safety properties

Mutation operators

(insertion of an additional

request, reordering

of a pair of

requests)

Offline

SWIFI

MiL

[102]

Production

automation

Fault operators

Path coverage, possible

inputs, code

splicing, possible

paths leading tocomponent

Offline,simulation: UML SC for PLC

MIFI

SiL, IEC 61131-3, unit

[103]

Production

automation

Timing sequence diagram

Fault operators

(missing signal)

SWIFI

real system, IEC

61131-3, system

[104]

Production

automation

Target variable chosen

manually, mutant created

accordingly, every

path checked with every

mutant

5 mutation operators

according to target

SWIFI

C, FBD, integration