Browsing by Subject "Alvis"

Now showing 1 - 4 of 4

Access status: Open Access ,
Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanych
(Wydawnictwa AGH, 2011) Kotulski, Leszek; Sędziwy, Adam
W artykule przedstawiono aspekt implementacyjny algorytmu scalania grafów stanu, modelujących kooperujące systemy wbudowane, a także wykazano jego wielomianową złożoność. Znajomość takiego grafu jest istotna, ponieważ pozwala na analizę zachowania złożonego systemu, a w szczególności na wykrywanie sytuacji niepożądanych, takich jak zakleszczenia. Nawet dla małej liczby prostych podsystemów, o niewielkiej liczbie stanów, diagram otrzymany w wyniku scalenia może charakteryzować się znaczna liczbą stanów, co praktycznie wyklucza jego ręczną generację. Z tego powodu niezbędne jest posiadanie narzędzia umożliwiającego automatyzację tego procesu.
Access status: Restricted ,
Edytor modeli języka Alvis jako aplikacja internetowa
(Data obrony: 2018-01-19) Brzegowski, Jakub
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Access status: Restricted ,
Implementacja algorytmu weryfikacji modelowej własności LTL w środowisku rozproszonym
(Data obrony: 2019-07-10) Kumoń, Wojciech
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Access status: Restricted ,
Opracowanie i integracja symulatora dla środowiska Alvis
(Data obrony: 2017-09-29) Fortunka, Jakub
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej