ABSTRACT Fault-teknik är en nyckelfråga för säkerhetsanalys av stora komplexa system. Traditionella säkerhetsanalysmetoder beskriver oftast felets ursprung, utbredning eller konkreta beteende och beskriver inte begränsningarna mellan felen. Dessa begränsningar är dock systemets egenskaper, och en brist på uttryck för dessa begränsningar kommer att göra felmodellen defekt, vilket resulterar i ett felträd som kommer att minska noggrannheten i säkerhetsanalysen. För att förbättra effektiviteten och noggrannheten i säkerhetsanalysen föreslår detta dokument en felträdsgenereringsmetod som bygger på felkonfiguration och introducerar variabilitetshanteringen av programvaruproduktlinjer till modellsystemfel och utför den formella analysen. För det första definieras felfunktionsschemat för att beskriva begränsningsförhållandena mellan systemfel, och det felmärkta övergångssystemet definieras baserat på Kripke-strukturen för att beskriva systemets beteende. Sedan, baserat på modellen semantik, förfarandet för att generera felträd genom modellkontroll fastställs. Slutligen, med hjälp av tidslogik för att beskriva systemets säkerhetsattribut, antar vi modellen kontrollverktyget SNIP för att verifiera säkerhetsattributen och generera felträdet automatiskt. Den felmodelleringsmetod som föreslås i detta dokument innehåller de inneboende begränsningarna mellan fel, vilket gör systemets felmodell mer realistisk och korrekt. En fallstudie visar hur effektiv den föreslagna metoden är. INDEX TERMS Felträd, felkonfiguration, modellkontroll.
Wang LS, Li SJ m.fl. REF föreslog en felträdsgenereringsmetod baserad på felkonfiguration och införde variabilitetshantering av programvaruproduktlinjer för systemfelmodellering och formell analys.
An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science']}