Detail publikace

On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle

STRNADEL Josef. On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer International Publishing, 2016, s. 166-181. ISBN 978-3-319-47166-2. ISSN 0302-9743. Dostupné z: http://link.springer.com/chapter/10.1007/978-3-319-47166-2_11
Název česky
Tvorba a analýza spolehlivostních modelů prostředky stochastických časovaných automatů a statistického ověřování modelů: Princip
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT)
URL
Abstrakt

Článek prezentuje metodu tvorby a analýzy spolehlivostních modelů prostředky stochastických časovaných automatů (STA) a techniky statistického ověřování modelů  (SMC) dostupné v nástroji UPPAAL SMC; zvláštní pozornost je věnována spolehlivosti elektronických systémů. Metodu lze považovat za alternativu ke klasickým analytickým přístupům založeným např. na stromech poruch či Markovských spolehlivostních modelech. Hlavním cílem příspěvku je ukázat, že SMC lze s využít pro zjednodušení analýzy bezporuchovosti systémů, a to i za nepříznivých podmínek, ke kterým patří např. nekonstantní intezita poruch vnitřních prvků systému. V článku jsou shrnuty základní pojmy a principy související s modelováním a analýzou dynamických systémů pomocí nástroje UPPAAL SMC, následované ukázkami praktické aplikovatelnosti a shrnutím výsledků v oblasti spolehlivosti.

Rok
2016
Strany
166-181
Časopis
Lecture Notes in Computer Science, č. 10, ISSN 0302-9743
Sborník
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
Řada
Lecture Notes in Computer Science, Vol. 9952
Konference
7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Corfu, GR
ISBN
978-3-319-47166-2
Vydavatel
Springer International Publishing
Místo
Cham, CH
DOI
10.1007/978-3-319-47166-2_11
UT WoS
000389939100011
EID Scopus
2-s2.0-84994056169
BibTeX 
@INPROCEEDINGS{FITPUB11168,
   author = "Josef Strnadel",
   title = "On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle",
   pages = "166--181",
   booktitle = "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques",
   series = "Lecture Notes in Computer Science, Vol. 9952",
   journal = "Lecture Notes in Computer Science",
   number = 10,
   year = 2016,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-47166-2",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-319-47166-2\_11",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11168"
}
Nahoru