RELIABILITY

[Glazer 1984] -- Auros.

[Wallace & Barnes 1984] -- Unix RTR.

[Bartlett 1981]

Describes the Tandem NonStop system which is designed to provide continuous operation even in the presence of serious hardware or software faults.

[Denning 1976]

Discussion of Fault-Tolerant Operating Systems.

[Karp 1983]

A treatise on proving the correctness of operating systems.

[Kemmerer 1982]

The formal verification of an OS kernel.

[Lynch 1975]

Discusses reliability experience with Chi/OS.

[Serlin 1984]

A survey of commercial fault-tolerant systems.