Mode Change in Real-time Component Systems
| Název práce v češtině: | Mode Change in Real-time Component Systems |
|---|---|
| Název v anglickém jazyce: | Mode Change in Real-time Component Systems |
| Klíčová slova: | rekonfigurace, operační módy, real-time systémy, komponenty |
| Klíčová slova anglicky: | reconfiguration, operating modes, real-time systems, components |
| Akademický rok vypsání: | 2010/2011 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: | prof. RNDr. Tomáš Bureš, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 15.02.2011 |
| Datum zadání: | 15.02.2011 |
| Datum a čas obhajoby: | 05.09.2011 11:30 |
| Datum odevzdání elektronické podoby: | 03.08.2011 |
| Datum odevzdání tištěné podoby: | 05.08.2011 |
| Datum proběhlé obhajoby: | 05.09.2011 |
| Oponenti: | RNDr. Michal Malohlava, Ph.D. |
| Konzultanti: | RNDr. Mgr. Tomáš Pop, Ph.D. |
| Zásady pro vypracování |
| Operational modes of software components constitute means of limited pre-defined reconfigurability of a component application. They are important in real-time systems as by relying on reconfigurability specified at design time, they allow for analyzability and predictability. However, a comprehensive approach to modes is still missing. Goal of the thesis is to advance this area by designing operational modes support in real-time component systems.
The thesis will analyze possible realization of software operational modes in real-time component system with respect to re-usability of components and possibility to formally verify real-time properties of developed application. The proof-of-concept implementation will be included build up on the high-integrity real-time profile of the SOFA 2 component system (SOFA HI). |
| Seznam odborné literatury |
| Hošek P.: Supporting real-time features in a hierarchical component system, master thesis, 2010
Černý O., Hošek P., Papež M., Remeš V.: SOFA 2 Component System: User's Guide Real J., Crespo A.: Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal, 2004 Henzinger T. A., Matic S.: An Interface Algebra for Real-Time Components |