Original title:
Dynamicky rekonfigurovatelné softwarové architektury pro distribuované řídicí systémy
Translated title:
Dynamic Software Architectures for Distributed Embedded Control Systems
Authors:
Richta, Tomáš ; Kavička, Antonín (referee) ; Sawa, Zdeněk (referee) ; Janoušek, Vladimír (advisor) Document type: Doctoral theses
Year:
2022
Language:
eng Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[eng][cze]
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.
This thesis deals with dynamic reconfigurability of distributed control systems. Due to the characteristics of these systems, the Petri nets formalism is used to define their functionality. These are transformed into a interpretable form and then executed by specialized software installed on each system node. Thanks to the properties of used formalism, it is possible to replace the individual parts of the system with new variants. Similarly, it is possible to generate formal specifications for the system's parts from more abstract workflow models and descriptions in the form of domain specific languages.
Keywords:
distribuovane systemy; dynamicka rekonfigurovatelnost; formalni specifikace; kontinuita modelu; migrace modelu.; modelem rizeny vyvoj; ridici systemy; Softwarove architektury; transformace modelu; vykonavani modelu; control systems; distributed systems; dynamic reconfigurability; formal specifications; model continuity; model execution; model migration.; model transformation; model-driven development; Software architectures
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/210238