Generic Fault Tolerant Software Architecture Reasoning and Customization

ResearchSpace Repository

Show simple item record

dc.contributor.author Yuan, L en
dc.contributor.author Dong, JS en
dc.contributor.author Sun, Jing en
dc.contributor.author Basit, HA en
dc.date.accessioned 2012-03-07T21:09:36Z en
dc.date.issued 2006 en
dc.identifier.citation IEEE Transactions on Reliability 55(3):421-435 Sep 2006 en
dc.identifier.issn 0018-9529 en
dc.identifier.uri http://hdl.handle.net/2292/13317 en
dc.description.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 en
dc.description.uri http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=35614&arnumber=1688078&count=22&index=3 en
dc.publisher Institute of Electrical and Electronics Engineers (IEEE) en
dc.relation.ispartofseries IEEE Transactions on Reliability en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. Details obtained from: http://www.sherpa.ac.uk/romeo/issn/0018-9529/ en
dc.rights.uri https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.title Generic Fault Tolerant Software Architecture Reasoning and Customization en
dc.type Journal Article en
dc.identifier.doi 10.1109/TR.2006.879605 en
pubs.issue 3 en
pubs.begin-page 421 en
pubs.volume 55 en
dc.rights.holder Copyright: Institute of Electrical and Electronics Engineers (IEEE) en
pubs.end-page 435 en
dc.rights.accessrights http://purl.org/eprint/accessRights/RestrictedAccess en
pubs.subtype Article en
pubs.elements-id 51998 en
pubs.org-id Science en
pubs.org-id School of Computer Science en
pubs.record-created-at-source-date 2010-09-01 en


Files in this item

There are no files associated with this item.

Find Full text

This item appears in the following Collection(s)

Show simple item record

Share

Search ResearchSpace


Advanced Search

Browse

Statistics