Thesis Details

Dynamic Software Architectures for Distributed Embedded Control Systems

Ph.D. Thesis Student: Richta Tomáš Academic Year: 2021/2022 Supervisor: Janoušek Vladimír, doc. Ing., Ph.D.
Czech title
Dynamicky rekonfigurovatelné softwarové architektury pro distribuované řídicí systémy
Language
English
Abstract

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

Software architectures, distributed systems, control systems, dynamic reconfigurability, formal specifications, model-driven development, model continuity, model execution, model transformation, model migration.

Department
Degree Programme
Computer Science and Engineering, Field of Study Computer Science and Engineering
Files
Status
defended
Date
4 May 2022
Citation
RICHTA, Tomáš. Dynamic Software Architectures for Distributed Embedded Control Systems. Brno, 2021. Ph.D. Thesis. Brno University of Technology, Faculty of Information Technology. 2022-05-04. Supervised by Janoušek Vladimír. Available from: https://www.fit.vut.cz/study/phd-thesis/634/
BibTeX
@phdthesis{FITPT634,
    author = "Tom\'{a}\v{s} Richta",
    type = "Ph.D. thesis",
    title = "Dynamic Software Architectures for Distributed Embedded Control Systems",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2022,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/634/"
}
Back to top