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...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://scholars.utp.edu.my/id/eprint/683/ http://scholars.utp.edu.my/id/eprint/683/1/paper.pdf |