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/49469Collections
- Kvalifikační práce [9114]
Author
Advisor
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, komponenty
Keywords (English)
reconfiguration, operating modes, real-time systems, components
Cí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.