Please use this identifier to cite or link to this item: https://doi.org/10.1109/TR.2006.879605
DC FieldValue
dc.titleGeneric fault tolerant software architecture reasoning and customization
dc.contributor.authorYuan, L.
dc.contributor.authorDong, J.S.
dc.contributor.authorSun, J.
dc.contributor.authorBasit, H.A.
dc.date.accessioned2013-07-04T07:30:23Z
dc.date.available2013-07-04T07:30:23Z
dc.date.issued2006
dc.identifier.citationYuan, 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
dc.identifier.issn00189529
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/38942
dc.description.abstractThis 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.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/TR.2006.879605
dc.sourceScopus
dc.subjectCustomization
dc.subjectFault tolerance
dc.subjectFormal reasoning
dc.subjectObject-Z
dc.subjectSoftware architecture
dc.typeArticle
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/TR.2006.879605
dc.description.sourcetitleIEEE Transactions on Reliability
dc.description.volume55
dc.description.issue3
dc.description.page421-435
dc.description.codenIEERA
dc.identifier.isiut000240324800004
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

15
checked on Sep 22, 2020

WEB OF SCIENCETM
Citations

10
checked on Sep 22, 2020

Page view(s)

95
checked on Sep 22, 2020

Google ScholarTM

Check

Altmetric


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