Mode Change in Real-time Component Systems
| Thesis title in Czech: | Mode Change in Real-time Component Systems |
|---|---|
| Thesis title in English: | Mode Change in Real-time Component Systems |
| Key words: | rekonfigurace, operační módy, real-time systémy, komponenty |
| English key words: | reconfiguration, operating modes, real-time systems, components |
| Academic year of topic announcement: | 2010/2011 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Department of Distributed and Dependable Systems (32-KDSS) |
| Supervisor: | prof. RNDr. Tomáš Bureš, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 15.02.2011 |
| Date of assignment: | 15.02.2011 |
| Date and time of defence: | 05.09.2011 11:30 |
| Date of electronic submission: | 03.08.2011 |
| Date of submission of printed version: | 05.08.2011 |
| Date of proceeded defence: | 05.09.2011 |
| Opponents: | RNDr. Michal Malohlava, Ph.D. |
| Advisors: | RNDr. Mgr. Tomáš Pop, Ph.D. |
| Guidelines |
| 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). |
| References |
| 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 |