Host: Rymvidas Ruksenas

Modern software-intensive systems are usually complex and prone to errors of various natures. To achieve high degree of dependability of such systems we should integrate formal development methods with the techniques for fault tolerance. Formal refinement-based methods provide us with the powerful design techniques enabling development of systems correct by construction. Meanwhile, techniques for achieving system fault tolerance give us the means to cope with failures of physical components and certain design mistakes. In this talk I will overviews some advances in specification and refinement of complex fault tolerant systems by systems approach. In particular, I will present a general formal specification pattern that can be recursively applied to specify
fault tolerance mechanisms at each architectural layer of a control system. Iterative application of this pattern via stepwise refinement enables development of a layered fault tolerant system correct by construction.