Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą

Autor:	Daukševič, Daniel
Rok vydání:	2023
Předmět:	Cultural Studies History Literature and Literary Theory adaptyvios kompiuterinės sistemos statistinis modelių patikrinimas formalus verifikavimas UPPAAL SMC
Zdroj:	Proceedings of the Conference "Lithuanian MSc Research in Informatics and ICT", Vilnius : Vilniaus universiteto leidykla, 2023, p. 15-25
ISSN:	2669-0535
DOI:	10.15388/lmitt.2023.2
Popis:	Šiame straipsnyje yra aprašomas tyrimas, kurio metu buvo formaliai verifikuojama adaptyvi kompiuterinė robotų sistema. Sistemos modelis buvo sukurtas ir formaliai verifikuojamas taikant statistinį modelių patikrinimo metodą naudojant UPPAAL SMC įrankį. Darbe yra siūloma apjungti du populiarius sistemos organizavimo modelius – hierarchinį bei saviorganizuojantį. Tyrime yra analizuojamas laiko aspektas – tyrinėjamas sistemos reakcijos greitis, vidutinis užduoties atlikimo laikas. Tyrimo rezultatų pagrindų yra pateikiami sukaupti pastebėjimai ir rekomendacijos verifikuojamos sistemos kūrimui ir tolimesniems tyrimams.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2eb59ec8bb14cc370bf38d106f50e55d https://doi.org/10.15388/lmitt.2023.2 Zobrazit plný text záznamu