Detail publikace

On SMC-Based Dependability Analysis in LoLiPoP-IoT Project

STRNADEL, J.; LOJDA, J.; SMRŽ, P.; ŠIMEK, V. On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. Steffen, B. (eds) Bridging the Gap Between AI and Reality (AISolA 2024). Lecture Notes in Computer Science. Limenas Hersonissou: Springer Nature Switzerland AG, 2024. p. 420-425. ISBN: 978-3-031-75434-0. ISSN: 0302-9743.
Název česky
Analýza spolehlivosti založená na SMC pro projekt LoLiPoP-IoT
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY)
Lojda Jakub, Ing., Ph.D. (UPSY)
Smrž Pavel, doc. RNDr., Ph.D. (UPGM)
Šimek Václav, Ing. (UPSY)
Klíčová slova

Poruchový stav, Selhání, Náhodná proměnná, Spolehlivost, Udržovatelnost, Analýza,
Kvantitativní ohodnocení, Model, Časovaný automat, Simulace, Statistická kontrola
modelu, Neurčitost

Abstrakt

Mnoho systémů vyžaduje určitou úroveň spolehlivosti, aby splnily svůj účel v předem definovaných podmínkách. Aby se ověřilo, zda lze takový požadavek splnit, musí návrhář systému použít vhodné prostředky k posouzení spolehlivosti kvalitativně nebo kvantitativně, zatímco tento článek se zaměřuje na druhý způsob hodnocení. První problém s hodnocením je, že jej nemůžeme posuzovat jinak než hodnocením jeho podatributů, jako je spolehlivost, dostupnost nebo udržovatelnost. Druhý problém se týká samotného hodnocení - v ideálním případě hodnocení staví na analytickém řešení; pokud však neexistuje, jsou porušeny jeho předpoklady atd., je třeba přistoupit k alternativnímu přístupu. Tento článek představuje náš alternativní přístup založený na simulaci se zvláštní pozorností věnovanou spolehlivosti a udržovatelnosti; staví na stochastických časovaných automatech, nástroji schopném modelovat širokou třídu systémů/podmínek, které nás zajímají. V našem přístupu proces hodnocení využívá techniku kontroly statistického modelu, která je dostatečně výkonná pro kvantifikaci atributů spolehlivosti v realistických situacích as předem definovaným stupněm nejistoty. Nakonec práce hodnotí náš přístup, nastiňuje naše výzkumné perspektivy a číní závěr.

Rok
2024
Strany
420–425
Časopis
Lecture Notes in Computer Science, roč. 15217, ISSN 0302-9743
Sborník
Steffen, B. (eds) Bridging the Gap Between AI and Reality (AISolA 2024)
Konference
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, GR
ISBN
978-3-031-75434-0
Vydavatel
Springer Nature Switzerland AG
Místo
Limenas Hersonissou
DOI
10.1007/978-3-031-75434-0_27
BibTeX 
@inproceedings{BUT189401,
  author="Josef {Strnadel} and Jakub {Lojda} and Pavel {Smrž} and Václav {Šimek}",
  title="On SMC-Based Dependability Analysis in LoLiPoP-IoT Project",
  booktitle="Steffen, B. (eds) Bridging the Gap Between AI and Reality (AISolA 2024)",
  year="2024",
  journal="Lecture Notes in Computer Science",
  volume="15217",
  pages="420--425",
  publisher="Springer Nature Switzerland AG",
  address="Limenas Hersonissou",
  doi="10.1007/978-3-031-75434-0\{_}27",
  isbn="978-3-031-75434-0",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/13214/"
}
Soubory
Nahoru