Fundamentals of Dependable Computing for Software Engineers

What If. . .Collected Thought Experiments in Philosophy is a brief collection of over 100 classic and contemporarythought experiments, each exploring an important philosophical argument. These thought experiments introduce students to the kind of disciplined thought required in philosophy, and awaken their intellectual curiosity. Featuring a clear and conversational writing style that doesn''t dilute the ideas, the value of the book is in its simplicity in both format and tone. Each thought experiment is accompanied by commentary from the author that explains its importance and provides thought-provoking questions, all encapsulated on two pages.

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 system to be dependableHow to build a dependable software systemHow to assess whether a software system is adequately dependableThe author focuses on the actions needed to reduce the rate of failure to an acceptable level, covering material essential for engineers developing systems with extreme consequences of failure, such as safety-critical systems, security-critical systems, and critical infrastructure systems. The text explores the systems engineering aspects of dependability and provides a framework for engineers to reason and make decisions about software and its dependability. It also offers a comprehensive approach to achieve software dependability and includes a bibliography of the most relevant literature.Emphasizing the software engineering elements of dependability, this book helps software and computer engineers in fields requiring ultra-high levels of dependability, such as avionics, medical devices, automotive electronics, weapon systems, and advanced information systems, construct software systems that are dependable and within budget and time constraints.