Detail publikace
Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates
V ideálním případě lze spolehlivostní ukazatele kvantifikovat analytickými postupy, a to za předpokladu, že analytické řešení existuje a platí podmínky pro jeho nasazení. V opačném případě je nutno zvolit jiné prostředky pro kvantifikaci. Tento článek představuje nový, na simulaci založený přístup, využívající prostředky stochastických časovaných automatů. Pomocí těchto prostředků článek objasňuje principy tvorby spolehlivostních modelů pro různé scénáře. Prezentovaný přístup předpokládá, že spolehlivostní model je poté zpracován metodou statistického ověřování modelů, jejímž cílem je kvantifikovat spolehlivostní ukazatele pomocí statistického vyhodnocení simulačních běhů nad daným modelem. Hlavním cílem článku je ukázat, že prostředky stochastických časovaných automatů a statistického ověřování modelů jsou schopné usnadnit proces kvantifikace i za nepříznivých okolností mezi které patří např. intenzita poruch ve tvaru vanové křivky.
@INPROCEEDINGS{FITPUB11776, author = "Josef Strnadel", title = "Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates", pages = "614--617", booktitle = "Design, Automation \& Test in Europe Conference \& Exhibition (DATE)", year = 2019, location = "Florence, IT", publisher = "IEEE Computer Society", ISBN = "978-3-9819263-2-3", doi = "10.23919/DATE.2019.8714878", language = "english", url = "https://www.fit.vut.cz/research/publication/11776" }