Please use this identifier to cite or link to this item:
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
Software architecture
Issue Date: 2006
Citation: 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.
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
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.


checked on Sep 15, 2020


checked on Sep 8, 2020

Page view(s)

checked on Sep 15, 2020

Google ScholarTM



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