Detail práce
Dynamic Software Architectures for Distributed Embedded Control Systems
Tato prace se zabyva dynamickou rekonfigurovatelnosti distribuovanych ridicich systemu. Vzhledem k charakteristice techto systemu je pro definici jejich behu pouzit formalismus Petriho siti. Tyto jsou transformovany do proveditelne podoby a nasledne pak interpretovany specializovanym software nainstalovanym na jednotlivych uzlech systemu. Diky vlastnostem pouziteho formalismu je mozne jednotlive casti systemu nahrazovat novymi variantami. Stejne tak je mozne generovat formalni specifikace dilcich casti systemu z abstraktnejsich workflow modelu a popisu ve forme domenove specifickych jazyku.
Softwarove architektury, distribuovane systemy, ridici systemy, dynamicka rekonfigurovatelnost, formalni specifikace, modelem rizeny vyvoj, kontinuita modelu, vykonavani modelu, transformace modelu, migrace modelu.
@phdthesis{FITPT634, author = "Tom\'{a}\v{s} Richta", type = "Diserta\v{c}n\'{i} pr\'{a}ce", title = "Dynamic Software Architectures for Distributed Embedded Control Systems", school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}", year = 2022, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/phd-thesis/634/" }