Please use this identifier to cite or link to this item: https://doi.org/10.1109/TR.2006.879605
Title: Generic fault tolerant software architecture reasoning and customization
Authors: Yuan, L.
Dong, J.S. 
Sun, J.
Basit, H.A.
Keywords: Customization
Fault tolerance
Formal reasoning
Object-Z
Software architecture
Issue Date: 2006
Source: Yuan, L., Dong, J.S., Sun, J., Basit, H.A. (2006). Generic fault tolerant software architecture reasoning and customization. IEEE Transactions on Reliability 55 (3) : 421-435. ScholarBank@NUS Repository. https://doi.org/10.1109/TR.2006.879605
Abstract: This paper proposes a novel heterogeneous software architecture GFTSA (Generic Fault Tolerant Software Architecture) which can guide the development of safety critical distributed systems. GFTSA incorporates an idealized fault tolerant component concept, and coordinated error recovery mechanism in the early system design phase. It can be reused in the high level model design of specific safety critical distributed systems with reliability requirements. To provide precise common idioms & patterns for the system designers, formal language Object-Z is used to specify GFTSA. Formal proofs based on Object-Z reasoning rules are constructed to demonstrate that the proposed GFTSA model can preserve significant fault tolerant properties. The inheritance & instantiation mechanisms of Object-Z can contribute to the customization of the GFTSA formal model. By analyzing the customization process, we also present a template of GFTSA, expressed in x-frames using the XVCL (XML-based Variant Configuration Language) methodology to make the customization process more direct & automatic. We use an LDAS (Line Direction Agreement System) case study to illustrate that GFTSA can guide the development of specific safety critical distributed systems. © 2006 IEEE.
Source Title: IEEE Transactions on Reliability
URI: http://scholarbank.nus.edu.sg/handle/10635/38942
ISSN: 00189529
DOI: 10.1109/TR.2006.879605
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

13
checked on Jan 16, 2018

WEB OF SCIENCETM
Citations

9
checked on Nov 22, 2017

Page view(s)

54
checked on Jan 20, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.