Detail publikace

Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking

STRNADEL, J. Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking. In Proceedings of 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). Prague: Institute of Electrical and Electronics Engineers, 2022. p. 88-93. ISBN: 978-1-6654-9431-1.
Název česky
Analýza dynamických stránek systémů přibližného počítání prostředky statistického ověřování modelů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY)
Klíčová slova

approximate circuit, error, trade-off, relaxed equivalence, verification, timed automaton, stochastic automaton, modeling, simulation, model checking

Abstrakt

Řada prací ukázala, že tzv. aproximativní obvody mohou hrát důležitou roli při vývoji elektronických systémů. To motivuje mnohé výzkumníky k návrhu nových přístupů při hledání optimálního kompromisu mezi aproximační chybou a  úsporami prostředků pro dané aplikace aproximativních obvodů. Tyto práce a přístupy se však zaměřují především na návrhová hlediska související se rozvolněním funkčních požadavků, avšak další hlediska (např. dynamiku/stochastičnost signálů a parametrů, rozvolněnou/nefunkční ekvivalenci, testování a formální verifikaci) opomíjejí. Tento článek se snaží představit krok směrem k verifikaci časově závislých vlastností systémů založených na aproximativních obvodech. Nejprve článek představuje náš přístup k modelování těchto systémů prostředky stochastických časovaných automatů, poté ukazuje princip a výhody ověřování vlastností modelovaných aproximativních systémů pomocí techniky statistického ověřování modelů. Dále článek prezentuje prostředí, které na svém vstupu přijímá model přesného systému, jeho časové a další požadavky i očekávané vlastnosti, informaci o základních stavebních blocích a přijatelnosti kompromisu mezi kvalitou a cenou, a na svém výstupu produkuje aproximativní systém, který má očekávané vlastnosti a maximálně splňuje dané požadavky. Konečně, článek zhodnocuje náš přístup a nastiňuje možné směry našeho dalšího výzkumu.

Rok
2022
Strany
88–93
Sborník
Proceedings of 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
ISBN
978-1-6654-9431-1
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Prague
DOI
10.1109/DDECS54261.2022.9770166
UT WoS
000835725500016
EID Scopus
2-s2.0-85130456151
BibTeX 
@inproceedings{BUT176816,
  author="Josef {Strnadel}",
  title="Analyzing Dynamic Aspects of AxC Systems by Means of Statistical Model Checking",
  booktitle="Proceedings of 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)",
  year="2022",
  pages="88--93",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Prague",
  doi="10.1109/DDECS54261.2022.9770166",
  isbn="978-1-6654-9431-1"
}
Nahoru