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: | , |
|---|---|
| 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!
|
| Institution: | Universiti Teknologi Petronas |
| Summary: | 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. The fault tolerance is discussed in different perspective. The Z Notation is used to specify the model as it provides a succinct and unambiguous way of specifying services. The specification is mathematically-based and state-based system. It is expected that a basis for decision support can be created based on this specification. The objective of this paper is to discuss the possibility of using specification for a model. ©2007 IEEE.
|
|---|