Original title:
Aplikace softwarových komponent pro návrh operačního systému
Translated title:
Application of Software Components in Operating System Design
Authors:
Děcký, Martin ; Tůma, Petr (advisor) ; Döbel, Björn (referee) ; Sojka, Michal (referee) Document type: Doctoral theses
Year:
2015
Language:
eng Abstract:
[eng][cze] This thesis describes the primary goal of the HelenOS microkernel multiserver operating system. The primary goal of the HelenOS project is to create a comprehensive research and development platform in the domain of general-purpose operating systems that would support state-of-the-art approaches and methods (such as verification of correctness) while at the same time focusing on practical relevance. The text of the thesis describes what specific means in terms of design (based on software components), implementation, development process and verification are used to achieve the primary goal. The thesis also evaluates the current state of HelenOS. Powered by TCPDF (www.tcpdf.org)Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních systémů, která by podporovala nejmodernější přístupy a metody (například verifikaci správnosti) a současně kladla důraz na praktickou relevanci. Text práce popisuje jaké konkrétní prostředky návrhu (založené na softwarových komponentách), implementace, vývojového procesu a verifikace, které jsou použity pro dosažení primárního cíle. Text práce dále hodnotí současný stav projektu HelenOS. Powered by TCPDF (www.tcpdf.org)
Keywords:
formal verification; HelenOS; microkernel; multiserver; operating systems; software architecture; software components; architektura softwaru; formalní verifikace; HelenOS; mikrojádro; multiserver; operační systémy; softwarové komponenty
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/81369