Please use this identifier to cite or link to this item:
|Title:||Modeling and customization of fault tolerant architecture using object-Z/XVCL|
|Citation:||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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Nov 16, 2018
checked on Oct 13, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.