Specifying a recovery model for survivable system
This paper introduces a brief formal specification to prove a recovery model for system survivability. The model has some scenarios of finding available resource adopted from fault tolerance concepts to preserve the system and resumes its critical service when damage occurred as soon as possible. Th...
Saved in:
Main Authors: | Azween, Abdullah, I.V., Paputungan |
---|---|
Format: | Conference or Workshop Item |
Published: |
2007
|
Subjects: | |
Online Access: | http://eprints.utp.edu.my/683/1/paper.pdf http://www.scopus.com/inward/record.url?eid=2-s2.0-50449098590&partnerID=40&md5=0569bc583fa3f6aa6ab91245559d9910 http://eprints.utp.edu.my/683/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Modelling a survivable system through critical service recovery process
by: Azween, Abdullah, et al.
Published: (2008) -
Survivable System by Critical Service Recovery
Model: Single Service Analysis
by: Irving , Paputungan, et al.
Published: (2009) -
Survivability Using Adaptive Reconfigurable Systems
by: Azween, Abdullah
Published: (2009) -
Object-oriented approach to specify secret sharing protocol in security critical system using formal method
by: Yew, Kok Meng, et al.
Published: (2000) -
Legacy Model Reconfiguration Using Graph-Theoretic
by: Azween, Abdullah
Published: (2008)