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 |
| _version_ | 1848659024133750784 |
|---|---|
| author | Azween, Abdullah I.V., Paputungan |
| author_facet | Azween, Abdullah I.V., Paputungan |
| author_sort | Azween, Abdullah |
| building | UTP Institutional Repository |
| collection | Online Access |
| description | 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.
|
| first_indexed | 2025-11-13T07:23:51Z |
| format | Conference or Workshop Item |
| id | oai:scholars.utp.edu.my:683 |
| institution | Universiti Teknologi Petronas |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-13T07:23:51Z |
| publishDate | 2007 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | oai:scholars.utp.edu.my:6832017-01-19T08:27:01Z http://scholars.utp.edu.my/id/eprint/683/ Specifying a recovery model for survivable system Azween, Abdullah I.V., Paputungan Q Science (General) QA75 Electronic computers. Computer science 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. 2007 Conference or Workshop Item NonPeerReviewed application/pdf en http://scholars.utp.edu.my/id/eprint/683/1/paper.pdf Azween, Abdullah and I.V., Paputungan (2007) Specifying a recovery model for survivable system. In: 2007 5th Student Conference on Research and Development, SCORED, 11 December 2007 through 12 December 2007, Selangor. http://www.scopus.com/inward/record.url?eid=2-s2.0-50449098590&partnerID=40&md5=0569bc583fa3f6aa6ab91245559d9910 |
| spellingShingle | Q Science (General) QA75 Electronic computers. Computer science Azween, Abdullah I.V., Paputungan Specifying a recovery model for survivable system |
| title | Specifying a recovery model for survivable system
|
| title_full | Specifying a recovery model for survivable system
|
| title_fullStr | Specifying a recovery model for survivable system
|
| title_full_unstemmed | Specifying a recovery model for survivable system
|
| title_short | Specifying a recovery model for survivable system
|
| title_sort | specifying a recovery model for survivable system |
| topic | Q Science (General) QA75 Electronic computers. Computer science |
| url | http://scholars.utp.edu.my/id/eprint/683/ http://scholars.utp.edu.my/id/eprint/683/ http://scholars.utp.edu.my/id/eprint/683/1/paper.pdf |