Dynamicky rekonfigurovatelné softwarové architektury pro distribuované řídicí systémy

Simple item page
but.committeeprof. RNDr. Milan Češka, CSc. (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (člen) prof. Ing. Antonín Kavička, Ph.D. (člen) doc. Ing. Zdeněk Sawa, Ph.D. (člen) doc. Ing. Jaroslav Sklenář, CSc. (člen)cs
but.defenceStudent přednesl cíle a výsledky, kterých v rámci řešení disertační práce dosáhl. V rozpravě student odpověděl na otázky komise a oponentů. Diskuze je zaznamenána na diskuzních lístcích, které jsou přílohou protokolu. Počet diskuzních lístků: 4. Komise se v závěru jednomyslně usnesla, že student splnil podmínky pro udělení akademického titulu doktor.cs
but.jazykangličtina (English)
but.programVýpočetní technika a informatikacs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorJanoušek, Vladimíren
dc.contributor.authorRichta, Tomášen
dc.contributor.refereeKavička, Antonínen
dc.contributor.refereeSawa, Zdeněken
dc.date.accessioned2023-06-09T06:54:10Z
dc.date.available2023-06-09T06:54:10Z
dc.date.created2022cs
dc.description.abstractTato 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.en
dc.description.abstractThis 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.cs
dc.description.markPcs
dc.identifier.citationRICHTA, T. Dynamicky rekonfigurovatelné softwarové architektury pro distribuované řídicí systémy [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.cs
dc.identifier.other143995cs
dc.identifier.urihttp://hdl.handle.net/11012/210238
dc.language.isoencs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectSoftwarove architekturyen
dc.subjectdistribuovane systemyen
dc.subjectridici systemyen
dc.subjectdynamicka rekonfigurovatelnosten
dc.subjectformalni specifikaceen
dc.subjectmodelem rizeny vyvojen
dc.subjectkontinuita modeluen
dc.subjectvykonavani modeluen
dc.subjecttransformace modeluen
dc.subjectmigrace modelu.en
dc.subjectSoftware architecturescs
dc.subjectdistributed systemscs
dc.subjectcontrol systemscs
dc.subjectdynamic reconfigurabilitycs
dc.subjectformal specificationscs
dc.subjectmodel-driven developmentcs
dc.subjectmodel continuitycs
dc.subjectmodel executioncs
dc.subjectmodel transformationcs
dc.subjectmodel migration.cs
dc.titleDynamicky rekonfigurovatelné softwarové architektury pro distribuované řídicí systémyen
dc.title.alternativeDynamic Software Architectures for Distributed Embedded Control Systemscs
dc.typeTextcs
dc.type.driverdoctoralThesisen
dc.type.evskpdizertační prácecs
dcterms.dateAccepted2022-05-04cs
dcterms.modified2022-05-04-14:25:56cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid143995en
sync.item.dbtypeZPen
sync.item.insts2023.06.09 08:54:10en
sync.item.modts2023.06.09 08:15:09en
thesis.disciplineVýpočetní technika a informatikacs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelDoktorskýcs
thesis.namePh.D.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
Posudek-Vedouci prace-634_s1.pdf
Size:
44.89 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Vedouci prace-634_s1.pdf
Download
Thumbnail Image
Name:
Posudek-Oponent prace-634_o2.pdf
Size:
65.43 KB
Format:
Adobe Portable Document Format
Description:
Posudek-Oponent prace-634_o2.pdf
Download
Thumbnail Image
Name:
review_143995.html
Size:
1.7 KB
Format:
Hypertext Markup Language
Description:
review_143995.html
Download
Collections
2022