On Fault Tolerance Reuse during Refinement

Ilya Lopatkin; Dr Alexei Iliasov; Professor Alexander Romanovsky

On Fault Tolerance Reuse during Refinement Lookup NU author(s) Ilya Lopatkin Dr Alexei Iliasov Professor Alexander Romanovsky



Author(s)		Lopatkin I, Iliasov A, Romanovsky A
Editor(s)
Publication type		Conference Proceedings (inc. Abstract)
Conference Name		2nd International Workshop on Software Engineering for Resilient Systems (SERENE)
Conference Location		London, UK
Year of Conference		2010
Date		13-16 April 2010
Volume
Pages



Full text for this publication is not currently held within this repository. Alternative links are provided below where available.




Complex modern applications have to be developed to be dependable to meet their requirements and expectations of their users. An important part of this is their ability to deal with various threats (such as faults in the system environment, operator's mistakes, underlying hardware and software support problems). Development of modern applications is complicated by the need for systematic and rigorous integration of fault tolerance measures. The paper focuses on reuse of fault tolerance modelling. First, it introduces the idea of general modelling templates reflecting abstract views on system behaviour with respect to faults. These templates are used during system detalisation (renement) to capture the user's view on system external behaviour. Secondly, it proposes to use a library of concrete modelling patterns allowing developers to systematically integrate specic fault tolerance mechanisms (e.g. recovery blocks, checkpoints, exception handling) into the models. The proposed solutions are linked to the Event-B method and demonstrated using a case study.



Publisher		ACM DL