TY  - CONF
CY  - Selangor
AV  - none
N1  - cited By 1; Conference of 2007 5th Student Conference on Research and Development, SCORED ; Conference Date: 11 December 2007 Through 12 December 2007; Conference Code:73256
N2  - 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.
ID  - scholars218
TI  - Specifying a recovery model for survivable system
KW  - Computer networks; Decision support systems; Errors; Fault tolerance; Quality assurance; Research and development management; Specifications
KW  -  Critical service; Research and development; Resource; Specification; Survivability
KW  -  Reliability
Y1  - 2007///
SN  - 1424414709; 9781424414703
A1  - Paputungan, I.V.
A1  - Abdullah, A.
UR  - https://www.scopus.com/inward/record.uri?eid=2-s2.0-50449098590&doi=10.1109%2fSCORED.2007.4451367&partnerID=40&md5=2c26d755747193d7d4058060cfbaa5ed
ER  -