Detail práce

Dynamic Software Architectures for Distributed Embedded Control Systems

Disertační práce Student: Richta Tomáš Akademický rok: 2021/2022 Vedoucí: Janoušek Vladimír, doc. Ing., Ph.D.
Název česky
Dynamicky rekonfigurovatelné softwarové architektury pro distribuované řídicí systémy
Jazyk práce
anglický
Abstrakt

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.

Klíčová slova

Softwarove architektury, distribuovane systemy, ridici systemy, dynamicka rekonfigurovatelnost, formalni specifikace, modelem rizeny vyvoj, kontinuita modelu, vykonavani modelu, transformace modelu, migrace modelu.

Ústav
Studijní program
Výpočetní technika a informatika, obor Výpočetní technika a informatika
Soubory
Stav
obhájeno
Obhajoba
4. května 2022
Citace
RICHTA, Tomáš. Dynamic Software Architectures for Distributed Embedded Control Systems. Brno, 2021. Disertační práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2022-05-04. Vedoucí práce Janoušek Vladimír. Dostupné z: https://www.fit.vut.cz/study/phd-thesis/634/
BibTeX
@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/"
}
Nahoru