Specifying a recovery model for survivable system

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.

This is the latest version of this item.

[img] PDF
Restricted to Registered users only


Official URL: http://www.scopus.com/inward/record.url?eid=2-s2.0...


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.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Computer networks; Decision support systems; Errors; Fault tolerance; Quality assurance; Research and development management; Specifications; Critical service; Research and development; Resource; Specification; Survivability; Reliability
Subjects:Q Science > Q Science (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments / MOR / COE:Departments > Computer Information Sciences
ID Code:683
Deposited By: Assoc Prof Dr Azween Abdullah
Deposited On:12 Mar 2010 02:25
Last Modified:19 Jan 2017 08:27

Available Versions of this Item

Repository Staff Only: item control page

Document Downloads

More statistics for this item...