Detail publikace

Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits

STRNADEL, J. Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits. Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Bratislava: Slovak University of Technology in Bratislava, 2016. p. 32-37. ISBN: 978-80-8086-256-5.
Název česky
Modelování a analýza vůči poruchám odolných systémů prostředky UPPAAL SMC: Metoda a výhody
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY)
Klíčová slova

modeling, analysis, fault tolerant, FT, statistical model checking, SMC, UPPAAL SMC, reliability analysis, probability distribution, bathtub, fault, transient, permanent, intermittent, behavior, type, description, signalization, scenario, tripple modular redundancy, TMR

Abstrakt

Článek prezentuje metodu modelování a analýzy elektronických, vůči poruchám odolným (FT) systémům prostředky statistického ověřování modelů (SMC) dostupné v nástroji UPPAAL SMC. 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 výše zmíněných systémů. 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 FT systémů pomocí nástroje UPPAAL SMC, následované ukázkami výsledků dosažených pomocí tohoto nástroje.

Rok
2016
Strany
32–37
Sborník
Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)
Konference
19th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 2016, Košice, SK
ISBN
978-80-8086-256-5
Vydavatel
Slovak University of Technology in Bratislava
Místo
Bratislava
BibTeX 
@inproceedings{BUT130933,
  author="Josef {Strnadel}",
  title="Modeling and Analysis of Fault-Tolerant Systems by Means of UPPAAL SMC: Method and Benefits",
  booktitle="Informal Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)",
  year="2016",
  pages="32--37",
  publisher="Slovak University of Technology in Bratislava",
  address="Bratislava",
  isbn="978-80-8086-256-5",
  url="https://www.fit.vut.cz/research/publication/11073/"
}
Nahoru