Denne klassiske referanseboken er en omfattende guide til design, evaluering og bruk av pålitelige datasystemer. Den inkluderer casestudier av pålitelige systemer fra produsenter som Tandem, Stratus, IBM og Digital. Boken dekker spesielle systemer, inkludert feilvernsystemet til Galileo Orbiter og prosessorer for telefonisystemet til AT&T. Målet er å gi leserne en grundig forståelse av hva som kreves for å utvikle og implementere datasystemer som er både sikre og effektive.