| Title |
Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą / |
| Authors |
Daukševič, Daniel |
| DOI |
10.15388/LMITT.2023.2 |
| Full Text |
|
| Is Part of |
Proceedings of the Conference "Lithuanian MSc Research in Informatics and ICT".. Vilnius : Vilniaus universiteto leidykla. 2023, p. 15-25 |
| Keywords [eng] |
adaptyvios kompiuterinės sistemos ; statistinis modelių patikrinimas ; formalus verifikavimas ; UPPAAL SMC |
| Abstract [eng] |
Š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. |
| Published |
Vilnius : Vilniaus universiteto leidykla |
| Type |
Conference paper |
| Language |
Lithuanian |
| Publication date |
2023 |
| CC license |
|
