Fundamentals of Dependable Computing for Software Engineers

This book provides proven techniques and strategies for developing dependable software. It gives a concise overview of how to develop and implement dependable software while examining key issues and usable techniques. The author addresses why dependability matters, what it means for a system to be dependable, how to build a dependable system, and how to assess whether a system is adequately dependable. He helps software engineers understand why the software is being asked to do what it is being asked to do as well as why the software is made to operate on the particular platform specified.