An Introduction to Software Engineering and Fault Tolerance

TL;DR

This book provides comprehensive coverage of integrating fault tolerance into software engineering, including techniques, verification methods, and languages to support fault-tolerant system development across all phases.

Contribution

It introduces novel approaches and structured methodologies for incorporating fault tolerance throughout the software development lifecycle.

Findings

Enhanced fault tolerance verification techniques

New language support for fault tolerance specification

Integrated framework for fault tolerance from requirements to implementation

Abstract

This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault tolerance during the different phases of the software development, software engineering techniques for verification and validation of fault tolerance means, and languages for supporting fault tolerance specification and implementation. Accordingly, the book is structured into the following three parts: Part A: Fault tolerance engineering: from requirements to code; Part B: Verification and validation of fault tolerant systems; Part C: Languages and Tools for engineering fault tolerant systems.