Please use this identifier to cite or link to this item: https://doi.org/10.1109/APSEC.2006.44
DC FieldValue
dc.titleModeling and customization of fault tolerant architecture using object-Z/XVCL
dc.contributor.authorLing, Y.
dc.contributor.authorJin, S.D.
dc.contributor.authorJing, S.
dc.date.accessioned2013-07-04T07:55:44Z
dc.date.available2013-07-04T07:55:44Z
dc.date.issued2006
dc.identifier.citationLing, 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. <a href="https://doi.org/10.1109/APSEC.2006.44" target="_blank">https://doi.org/10.1109/APSEC.2006.44</a>
dc.identifier.isbn0769526853
dc.identifier.issn15301362
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40059
dc.description.abstractThis 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.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/APSEC.2006.44
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/APSEC.2006.44
dc.description.sourcetitleProceedings - Asia-Pacific Software Engineering Conference, APSEC
dc.description.page209-216
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

3
checked on Dec 6, 2019

Page view(s)

74
checked on Dec 2, 2019

Google ScholarTM

Check

Altmetric


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