Název:
Aplikace softwarových komponent pro návrh operačního systému
Překlad názvu:
Application of Software Components in Operating System Design
Autoři:
Děcký, Martin ; Tůma, Petr (vedoucí práce) ; Döbel, Björn (oponent) ; Sojka, Michal (oponent) Typ dokumentu: Disertační práce
Rok:
2015
Jazyk:
eng
Abstrakt: [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)
Klíčová slova:
architektura softwaru; formalní verifikace; HelenOS; mikrojádro; multiserver; operační systémy; softwarové komponenty; formal verification; HelenOS; microkernel; multiserver; operating systems; software architecture; software components