Application of Software Components in Operating System Design
Thesis title in Czech: | Aplikace softwarových komponent pro návrh operačního systému |
---|---|
Thesis title in English: | Application of Software Components in Operating System Design |
Key words: | operační systémy, mikrojádro, multiserver, HelenOS, architektura softwaru, softwarové komponenty, formalní verifikace |
English key words: | operating systems, microkernel, multiserver, HelenOS, software architecture, software components, formal verification |
Academic year of topic announcement: | 2006/2007 |
Thesis type: | dissertation |
Thesis language: | angličtina |
Department: | Department of Distributed and Dependable Systems (32-KDSS) |
Supervisor: | prof. Ing. Petr Tůma, Dr. |
Author: | Mgr. Martin Děcký, Ph.D. - assigned and confirmed by the Study Dept. |
Date of registration: | 01.10.2006 |
Date of assignment: | 01.10.2006 |
Date and time of defence: | 22.09.2015 14:45 |
Date of electronic submission: | 29.06.2015 |
Date of submission of printed version: | 29.06.2015 |
Date of proceeded defence: | 22.09.2015 |
Opponents: | Dr. Björn Döbel |
Michal Sojka | |