Fundamentals of Dependable Computing for Software Engineers

by John Knight

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability. Readers will learn:Why dependability mattersWhat it means for a

433 pages, Hardcover

First published January 26, 2012

Reviews

[Martti · Rating 2 out of 5]

Something close to a mathematical theory of computer system operations. A formal academic take on the subject. Too dry and impractical for my taste, but I also think there might be some value in organizing the "chaos engineering" that usually goes along with the random agile rush of the average startup.

Some formal definitions for taste:

The dependability of a system is the ability to avoid service failures that are more frequent and more severe than is acceptable.

Reliability - continuity of correct service
Availability - readiness for correct service
Safety - absence of catastrophic consequences on the user(s) and the environment
Integrity - absence of improper system alterations
Confidentiality - absence of unauthorized disclosure of information
Maintainability - ability to undergo modifications and repairs