Mode Change in Real-time Component Systems
Mode Change in Real-time Component Systems
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/49469Identifikátory
SIS: 104515
Kolekce
- Kvalifikační práce [10690]
Autor
Vedoucí práce
Konzultant práce
Pop, Tomáš
Oponent práce
Malohlava, Michal
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Softwarové systémy
Katedra / ústav / klinika
Katedra distribuovaných a spolehlivých systémů
Datum obhajoby
5. 9. 2011
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
rekonfigurace, operační módy, real-time systémy, komponentyKlíčová slova (anglicky)
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.