Quantitative Safety Analysis for Industry

Abstract

Inom industrin är kvantitativa säkerhetsanalyser frekvent baserade på väletablerade metoder som har existerat i decennium. Det kanske mest prominenta exemplet är felträd, med vilka sannolikheten för ett system fallerar beräknas utifrån sannolikheten för komponentfel. Dessa klassiska metoder har fördelen av att vara väletablerade och enkla att förstå men de har två tydliga nackdelar. Den första nackdelen är att modellerna inte reflekterar arkitekturen av systemet som modelleras. Resultatet av detta är att det i dessa klassiska metoder är både är svårt att översätta förändringar av systemet till förändringar i modellen och att olika ingenjörer tenderar att skapa tydligt divergenta modeller för samma system. Den andra nackdelen är att de klassiska metoderna bara stödjer exponentiella distributioner för att representera stokastiskt beteende i modellerna. Detta resulterar i att de komplexa dynamiska beroenden i dagens system ofta inte kan modelleras med noggrannhet. Inom forskningen har många mer avancerade modeleringsspråk, metoder och verktyg som kringgår en eller båda av dessa nackdelar presenterats under dem senaste decennierna. Trots det har dessa metoder svårt att hitta ett fotfäste i industrin. I denna avhandling presenteras nya modeleringsspråk och analysmetoder men verktygsstöd för kvantitative säkerhetsanalyser som kringgår båda nackdelarna av dem klassiska metoderna samtidigt som de är attraktiva kandidater för industrin.

Link to DiVA