On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking

fault tolerant system, dependability, assessment, reliability model, simulation, fault, failure, rate, fault tolerant, stochastic timed automaton, statistical model checking, triple modular redundancy, UPPAAL SMC

Problém vyhodnocení spolehlivostních ukazatelů lze řešit analyticky, a to za definovaných podmínek. Pokud tyto podmínky neplatí, je nutno přistoupit k alternativním řešením tohoto problému. Tato jsou často založena na Monte Carlo simulaci, jejíž nevýhodou však je vysoká výpočetní náročnost. Další vycházejí z prostředků, jako např. pravděpodobnostní časované automaty, které se již ukázaly být efektivní pro řešení problémů v jiných oblastech. Nadto v současné době existují obecnější, přesnější a efektivnější prostředky jako např. stochastické časované automaty (STA) a statistické ověřování modelů (SMC). Článek shrnuje základní pojmy a principy spojené s konstrukcí spolehlivostních modelů a vyhodnocením spolehlivostních ukazatelů prostředky STA/SMC a demonstruje jejich použitelnost v oblasti neopravovaných systémů. Hlavním cílem článku je ukázat, že prostředky STA/SMC mohou vést k usnadnění procesu vyhodnocení spolehlivostních ukazatelů, a to zejména za nepříznivých okolností reprezentovaných např. současným výskytem několika poruch odlišných vlastností.