Thesis (Selection of subject)Thesis (Selection of subject)(version: 307)
Assignment details
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
Type of assignment: 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
Reviewers: RNDr. Michal Malohlava, Ph.D.
Advisors: RNDr. Mgr. Tomáš Pop, Ph.D.
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).
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
Charles University | Information system of Charles University |