Methods, models and tools for fault tolerance

Más información sobre el libro

The increasing complexity of modern software systems complicates the assurance of their dependability. Factors such as intricate operating environments, stringent dependability requirements, and complex infrastructures present significant engineering challenges in system design. Mastering this complexity necessitates design techniques that promote clear thinking alongside rigorous validation and verification, which can be achieved through formal design methods. Additionally, architectures must be resilient to faults and unpredictable environmental changes, necessitating fault-tolerant design techniques. This book addresses critical issues in developing fault-tolerant systems, including verification and refinement, integrated development approaches, formal foundations for error detection and recovery, and patterns for rigorous fault tolerance development. It also covers fault-tolerant software architectures, tools for supporting dependable system design, and integrated platforms for developing such systems. The editors participated in the EU (FP-6) project RODIN, which united researchers from the fault tolerance and formal methods communities. In 2007, RODIN organized the MeMoT workshop alongside the Integrated Formal Methods 2007 Conference at Oxford University, fostering collaboration and innovation in this vital area of research.