Článek ve sborníku konference

STRNADEL Josef. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates (in press, not published yet). In: Design, Automation and Test in Europe Conference. (publishing details will be updated after publishing), 2019, s. 1-4.
Jazyk publikace:angličtina
Název publikace:Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates (in press, not published yet)
Název (cs):Využití statistického ověřování modelů k ohodnocení bezporuchovosti pro intenzity poruch ve tvaru vanové křivky (v tisku, nepublikováno)
Strany:1-4
Sborník:Design, Automation and Test in Europe Conference
Konference:Design, Automation and Test in Europe Conference
Místo vydání:(publishing details will be updated after publishing), US
Rok:2019
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
Ideally, the reliability can be assessed analytically, provided that an analytical solution exists and its presumptions are met. Otherwise, alternative approaches to the assessment must apply. This paper proposes a novel, simulation based approach that relies on stochastic timed automata. Based on the automata, our paper explains principles of creating reliability models for various scenarios. Our approach expects that a reliability model is then processed by a statistical model checking method, used to assess the reliability by statistical processing of simulation results over the model. Main goal of this paper is to show that instruments of stochastic timed automata and statistical model checking are capable of facilitating the assessment process even for adverse conditions such as bathtub shaped hazard failure rates.
BibTeX:
@INPROCEEDINGS{
   author = {Josef Strnadel},
   title = {Using Statistical Model Checking to Assess
	Reliability for Bathtub-Shaped Failure Rates (in
	press, not published yet)},
   pages = {1--4},
   booktitle = {Design, Automation and Test in Europe Conference},
   year = {2019},
   location = {(publishing details will be updated after publishing), US},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11776}
}

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

DNSSEC [dnssec]