Abstrakt. Felinjektionen är traditionellt uppdelad i simuleringsbaserade och fysiska tekniker beroende på om fel injiceras i hårdvarumodeller eller i ett faktiskt fysiskt system eller prototyp. En annan klassificering baseras på hur felinsprutningsmekanismer tillämpas. Välkända tekniker är hårdvaruimplementerad felinjektion (HIFI) och programvaruimplementerad felinjektion (SWIFI). För säkerhetsanalyser under modellbaserad utveckling kan felinsprutningsmekanismer läggas till direkt i modeller av hårdvara, programvarumodeller eller modeller av system. Detta tillvägagångssätt betecknas av författarna som modellimplementerad felinjektion. I detta dokument presenteras verktyget MODIFI (MODel- Implementated Fault Insprutning). Verktyget riktar sig för närvarande mot beteendemodeller i Simulink. Felmodeller som används av MODIFI definieras med hjälp av XML enligt en specifik schemafil och felinsprutningsalgoritmen använder konceptet minimala skäruppsättningar (MCS) generering. För det första injiceras en användardefinierad uppsättning enstaka fel för att se om systemet är tolerant mot enstaka fel. Enstaka fel leder till ett misslyckande, dvs. En överträdelse av säkerhetskravet lagras i en MCS-lista tillsammans med motsvarande motexempel. Dessa fel avlägsnas också från det felutrymme som används för efterföljande experiment. När alla enskilda fel har injicerats undersöks effekterna av flera fel, dvs. två eller flera fel införs samtidigt. Den fullständiga listan över MCS används slutligen för att automatiskt generera testfall för effektiv felinsprutning på målsystemet.
MODIFI-metoden som presenteras i REF implementerar felinsprutningsmöjligheter i SIMULINK för att utvärdera felhanteringsmekanismer.