Detail publikace

Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates

STRNADEL Josef. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). Florence: IEEE Computer Society, 2019, s. 614-617. ISBN 978-3-9819263-2-3. Dostupné z: https://ieeexplore.ieee.org/document/8714878
Název česky
Využití statistického ověřování modelů k ohodnocení bezporuchovosti pro intenzity poruch ve tvaru vanové křivky
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt

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.

Rok
2019
Strany
614-617
Sborník
Design, Automation & Test in Europe Conference & Exhibition (DATE)
Konference
Design, Automation and Test in Europe Conference, Florencie, IT
ISBN
978-3-9819263-2-3
Vydavatel
IEEE Computer Society
Místo
Florence, IT
DOI
UT WoS
000470666100113
EID Scopus
BibTeX
@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"
}
Soubory
Nahoru