Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/13267
Title: Generic fault tolerant software architecture: Modeling, customization and verification
Authors: YUAN LING
Keywords: GFTSA, Fault Tolerance, Object-Z, XVCL, PVS, ProofLite
Issue Date: 3-Apr-2008
Source: YUAN LING (2008-04-03). Generic fault tolerant software architecture: Modeling, customization and verification. ScholarBank@NUS Repository.
Abstract: Distributed systems often give rise to complex concurrent and interacting activities. The distributed systems with high reliability requirements make the development of such systems more complicated. The purpose of this study is to demonstrate a series of modeling, customization and verification of generic fault tolerant software architecture for guiding the development of such systems. In summary, a novel heterogeneous Generic Fault Tolerant Software Architecture (GFTSA) has been proposed to provide a generic framework for the development of distributed systems; GFTSA has been formally modeled by using the Object-Z language to provide explicit and precise patterns to the system designers; a template has been built based on the Object-Z model of GFTSA by using XVCL technique to help the customization of GFTSA; the mechanical verification of GFTSA has been achieved by embeding the GFTSA model in PVS; a template approach has been presented to help the mechanical verification of safety critical distributed systems.
URI: http://scholarbank.nus.edu.sg/handle/10635/13267
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
Thesis-YL.pdf566.15 kBAdobe PDF

OPEN

NoneView/Download

Page view(s)

276
checked on Dec 11, 2017

Download(s)

214
checked on Dec 11, 2017

Google ScholarTM

Check


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