Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Refinement patterns for rapid development of dependable systems

Lookup NU author(s): Dr Alexei Iliasov

Downloads

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

Abstract

Although, it is widely recognised that formal methods is the single most important technique for building complex dependable systems, formal methods struggle to gain wide acceptance outside their few traditional application areas. In this paper we investigate a method for mechanised transformation of formal models. We argue that, applied to the vast catalogue of architectural and design patterns for dependable systems, this method can greatly contribute to the applicability of formal methods in development of dependable systems. The discussion is supported by a detailed analysis of the Triple Modular Redundancy pattern and a prototype plugin to the RODIN platform which adds the refinement mechanisation support to the Event-B formal framework.

Publication metadata

Author(s): Iliasov A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the Workshop on Engineering Fault Tolerant Systems (EFTS)

Year of Conference: 2007

Pages: 6pp

Publisher: ACM Press

URL: http://dx.doi.org/10.1145/1316550.1316560

DOI: 10.1145/1316550.1316560

Library holdings: Search Newcastle University Library for this item

ISBN: 9781595937254

Share