Detail publikace
On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking
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í.
@INPROCEEDINGS{FITPUB11365, author = "Josef Strnadel", title = "On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking", pages = "352--355", booktitle = "Proceedings of the 2017 20th Euromicro Conference on Digital System Design", year = 2017, location = "Los Alamitos, US", publisher = "IEEE Computer Society", ISBN = "978-1-5386-2146-2", doi = "10.1109/DSD.2017.12", language = "english", url = "https://www.fit.vut.cz/research/publication/11365" }