DocumentCode
1997294
Title
Refinement Patterns for Fault Tolerant Systems
Author
Iliasov, Alexei ; Romanovsky, Alexander
Author_Institution
Newcastle Univ., Newcastle upon Tyne
fYear
2008
fDate
7-9 May 2008
Firstpage
167
Lastpage
176
Abstract
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigorous system design. Two patterns are proposed to support a correct introduction of recovery blocks and N- version programming into a system model; these are formally defined and their correctness proven. We also discuss several important issues involved in the use of these patterns in engineering systems, including tool support and pattern composition.
Keywords
software fault tolerance; N-version programming; fault tolerant systems; refinement patterns; software fault tolerance mechanisms; system design; Application software; Automotive engineering; Communication industry; Design engineering; Fault tolerance; Fault tolerant systems; Middleware; Packaging; Software libraries; Systems engineering and theory; fault tolerance; formal modelling; patterns; refinement;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing Conference, 2008. EDCC 2008. Seventh European
Conference_Location
Kaunas
Print_ISBN
978-0-7695-3138-0
Type
conf
DOI
10.1109/EDCC-7.2008.18
Filename
4556001
Link To Document