name server / user-mode server / aircraft carrier / radical solution / large industrial software system / file server / root name server / legacy operating systems / kernel calls to obtain these services / channel protocols / aircraft carrier works / reincarnation server / software reliability / 2reliable operating systems / analog electronics / low-level hardware / software-laden electronic devices / unusual server / loadable file systems / message-passing systems / protective software / monolithic systems / focused on patching legacy operating systems / aimed at replacing legacy operating systems / /
OperatingSystem
UNIX / Linux / MINIX 3 / Windows XP / UNIX-like / Microsoft Windows / Singularity / POSIX / /
Organization
University of Karlsruhe / Memory Management Unit / Organization for Scientific Research / /
Person
Michael Swift / J. Soess / Galen Hunt / Disk / Andrew S. Tanenbaum / Herbert Bos / Stefan Gotz / Stub Figure / J. LeVasseur / V / V. Uhlig / Brian Bershad / /
Can We Make Operating Systems Reliable and Secure?