Please use this identifier to cite or link to this item:
|Title:||Generic fault tolerant software architecture reasoning and customization|
|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. 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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Feb 12, 2019
WEB OF SCIENCETM
checked on Nov 22, 2017
checked on Jan 13, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.