Abstract-Vi presenterar en strategi för algoritmisk beräkning av kausaliteter i systemmodeller som vi kallar kausalitetskontroll. Vi baserar vår uppfattning om orsakssamband på kontrafaktiskt resonemang, särskilt med hjälp av den strukturella ekvationsmodell som föreslås i [1] som har utvidgats till resonemang om beräkningsmodeller i [2]. I detta dokument presenterar vi en sökbaserad on-the-fly-strategi som fint integreras i finita tillstånd verifieringstekniker, såsom explicit-state modellkontroll [3]. Vi demonstrerar tillämpligheten av vårt tillvägagångssätt med hjälp av en industriell fallstudie.
De utvidgade sitt tillvägagångssätt genom att införa begreppet kausalitetskontroll, genom att integrera kausaliteten i modellen för kontroll av algoritmen själv REF.
Causality Checking for Complex System Models
{'venue': 'VMCAI', 'journal': None, 'mag_field_of_study': ['Computer Science']}