Browse by author
Lookup NU author(s): Dr Alexei Iliasov
Formal methods focus on a posteriori analysis and a modeller gets little assistance in constructing a model. Poor methodological and tool support means formal modelling is an expensive and laborious process which can produce poor quality specifications. Refinement patterns offer a constructive top-down approach to formal modelling by guiding a developer and providing reusable design solutions. Extensive application of high-quality, peer-reviewed refinement patterns results in improved overall dependability of the system by ensuring highquality- by-construction of formal models. Application of the fault tolerance refinement patterns can further improve system dependability by helping developers to apply fault tolerance in a disciplined, systematic and cost-effective way to ensure that system failures are prevented from happening.
Author(s): Iliasov A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2008
Pages: 25
Print publication date: 01/02/2008
Source Publication Date: February 2008
Report Number: 1075
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1075.pdf
