Abstrakt. Osäkerhet är allmänt förekommande inom programvaruteknik, men det har vanligtvis hanterats på adhoc och informella sätt inom programvarumodeller. Automatiserad förändringsförökning erkänns som ett viktigt verktyg för att hantera den oavsiktliga komplexitet som kommer med flera inbördes relaterade modeller. I detta dokument tar vi upp förändringsförökning i samband med modellosäkerhet och tar hänsyn till det fall då ändringar i osäkerhetsnivån i en modell kan spridas till relaterade modeller. Vi definierar sådan osäkerhetsförändringsutbredning med hjälp av vår tidigare formalisering och utvecklar automatiserade spridningsalgoritmer med hjälp av en SMT-lösare. En preliminär utvärdering visar att detta tillvägagångssätt är genomförbart.
I REF föreslås en metod för förändringsförökning i samband med modellosäkerhet.