HIGHLY RELIABLE AND SECURE SYSTEMS
This section lists operating systems designed with very high reliability
or security as a principal goal. Some of these systems are designed to control
specialized architectures which include features to support this goal.
- AUROS
- Reliable Operating System for the fault-tolerant minicomputer AURAGEN
System 4000. Early 1980s [Glazer 1984].
- DSU
- Data Secure Unix. A Security kernel for Unix developed at UCLA. Late
1970s [Popek et al 1979].
- GUARDIAN
- Operating System for Tandem NonStop Computers, featuring high reliability.
Early 1980s [Serlin 1984].
- KeyKOS
- Capability based OS for the IBM/370. Early 1980s [Hardy 1985].
- KSOS
- Kernelized Secure Operating system. UNIX-like OS with a secure kernel.
Late 1970s. [McCauley & Drongoski 1979].
- NonStop
- An OS for the Tandem Computers featuring high reliability through redundant
components. Late 1970s [Bartlett 1981].
- Perpos
- Perpetual Processing OS for Computer Consoles Power 55/5. 68000-based
multiple CPUs. UNIX-based system featuring high reliability. Early 1980s
[Serlin 1984].
- PSOS
- An Experimental Provably Secure Operating System. Late 1970s [DeLashmutt
1979].
- STRATUS
- OS for Stratus-32 Computers. Early 1980s [Computerworld 1984].
- Synthesis
- Fault tolerant OS for Synapse N+1 system. Early 1980s [Serlin 1984].
- VOS
- Virtual OS. Operating System for STRATUS computers featuring high reliability.
Early 1980s [Serlin 1984].