Článek ve sborníku konference

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
Jazyk publikace:angličtina
Název publikace:Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates
Název (cs):Využití statistického ověřování modelů k ohodnocení bezporuchovosti pro intenzity poruch ve tvaru vanové křivky
Strany:614-617
Sborník:Design, Automation & Test in Europe Conference & Exhibition (DATE)
Konference:Design, Automation and Test in Europe Conference
Místo vydání:Florence, IT
Rok:2019
URL:https://ieeexplore.ieee.org/document/8714878
ISBN:978-3-9819263-2-3
DOI:10.23919/DATE.2019.8714878
Vydavatel:IEEE Computer Society
Soubory: 
+Typ Jméno Název Vel. Poslední změna
iconstrnadel_date2019_poster.pdf877 KB2019-03-14 12:08:03
^ Vybrat vše
S vybranými:
Klíčová slova
reliability, assessment, reliability model, fault, failure, stochastic automaton, timed automaton, simulation, statistical model checking
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11776}
}

Vaše IPv4 adresa: 34.238.189.171
Přepnout na https