Book description
This book helps software and computer engineers construct software systems that are dependable and within budget and time constraints. Covering the conceptual and definitional structure of the subject, the author describes the computing platforms upon which critical applications operate and how these platforms affect software. He discusses the difficulties in software engineering that lead to software failures and presents rigorous techniques that can greatly improve the quality of software and are becoming available for even large software systems.
Table of contents
- Cover
- Ttile Page
- Copyright
- Table of Contents
- Foreword
- Preface
- CHAPTER 1 Introduction
- CHAPTER 2 Dependability Requirements
- CHAPTER 3 Errors, Faults, and Hazards
- CHAPTER 4 Dependability Analysis
- CHAPTER 5 Dealing with Faults
- CHAPTER 6 Degradation Faults and Software
- CHAPTER 7 Software Dependability
- CHAPTER 8 Software Fault Avoidance in Specification
- CHAPTER 9 Software Fault Avoidance in Implementation
- CHAPTER 10 Software Fault Elimination
- CHAPTER 11 Software Fault Tolerance
- CHAPTER 12 Dependability Assessment
- Bibliography
- Index
Product information
- Title: Fundamentals of Dependable Computing for Software Engineers
- Author(s):
- Release date: January 2012
- Publisher(s): Chapman and Hall/CRC
- ISBN: 9781466518216
You might also like
book
Embedded Firmware Solutions: Development Best Practices for the Internet of Th ings
is the perfect introduction and daily-use field guide--for the thousands of firmware designers, hardware engineers, architects, …
book
Open-Source Robotics and Process Control Cookbook
In this practical reference, popular author Lewin Edwards shows how to develop robust, dependable real-time systems …
article
Reinventing the Organization for GenAI and LLMs
Previous technology breakthroughs did not upend organizational structure, but generative AI and LLMs will. We now …
article
Use Github Copilot for Prompt Engineering
Using GitHub Copilot can feel like magic. The tool automatically fills out entire blocks of code--but …
