Mode Change in Real-time Component Systems
Mode Change in Real-time Component Systems
diploma thesis (DEFENDED)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/49469Identifiers
Study Information System: 104515
Collections
- Kvalifikační práce [10691]
Author
Advisor
Consultant
Pop, Tomáš
Referee
Malohlava, Michal
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Software Systems
Department
Department of Distributed and Dependable Systems
Date of defense
5. 9. 2011
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent
Keywords (Czech)
rekonfigurace, operační módy, real-time systémy, komponentyKeywords (English)
reconfiguration, operating modes, real-time systems, componentsCílem práce je zmapovat možnosti dynamické rekonfigurace v real-timových komponentových systémech, především pak formálně popsat podporu operačních módů. Práce obsahuje návrh mechanismu, který zajišťuje rekonfiguraci na základě řídících proměnných a jejich vzájemných vztahů. Mechanismus je navržen tak, aby bylo možné snadno namodelovat operační módy a pravidla pro rekonfiguraci při zachování znovupoužitelnosti komponentového návrhu. Práce dále ukazuje způsob realizace tohoto mechanismu tak, aby byl použitelný ve světě vestavěných real-time systémů.
The goal of the thesis is to examine possibilities of dynamic reconfiguration in real-time component systems, especially to formally describe support of operating modes. The thesis introduces a reconfiguration mechanism based on properties and relations between them. The mechanism is designed to facilitate a straight forward modeling of operating modes and reconfiguration rules and preserves re-usability of assembled components. The thesis also presents a realization of the mechanism suitable for the domain of embedded real-time systems.