Please use this identifier to cite or link to this item: https://doi.org/10.1109/APSEC.2006.44
Title: Modeling and customization of fault tolerant architecture using object-Z/XVCL
Authors: Ling, Y.
Jin, S.D. 
Jing, S.
Issue Date: 2006
Source: Ling, Y.,Jin, S.D.,Jing, S. (2006). Modeling and customization of fault tolerant architecture using object-Z/XVCL. Proceedings - Asia-Pacific Software Engineering Conference, APSEC : 209-216. ScholarBank@NUS Repository. https://doi.org/10.1109/APSEC.2006.44
Abstract: This paper proposes a novel heterogeneous software architecture FTA (Fault Tolerant Architecture). FTA incorporates 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 mission critical distributed systems with reliability requirements. The formal model of FTA in the Object-Z language is presented to provide precise idioms to the system designers. Formal proof using the Object-Z reasoning rules are constructed to demonstrate the fault tolerant properties of FTA. By analyzing the customization process, we also present a FTA template, expressed in x-frames using XVCL (XML-based Variant Configuration Language) methodology, to automate the customization process. We apply a sales control system case study to illustrate the customization of FTA. © 2006 IEEE.
Source Title: Proceedings - Asia-Pacific Software Engineering Conference, APSEC
URI: http://scholarbank.nus.edu.sg/handle/10635/40059
ISBN: 0769526853
ISSN: 15301362
DOI: 10.1109/APSEC.2006.44
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

3
checked on Nov 29, 2017

Page view(s)

52
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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