Specifying a recovery model for survivable system

QR Code

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...

Full description

Bibliographic Details
Main Authors:	Azween, Abdullah, I.V., Paputungan
Format:	Conference or Workshop Item
Language:	English
Published:	2007
Subjects:	Q Science (General) QA75 Electronic computers. Computer science
Online Access:	http://scholars.utp.edu.my/id/eprint/683/ http://scholars.utp.edu.my/id/eprint/683/1/paper.pdf

Similar Items

Modelling a survivable system through critical service recovery process
by: Azween, Abdullah, et al.
Published: (2008)

Survivable System by Critical Service Recovery Model: Single Service Analysis
by: Irving , Paputungan, et al.
Published: (2009)

Survivability Using Adaptive Reconfigurable Systems
by: Azween, Abdullah
Published: (2009)

Layered biologically inspired self-healing software system architecture
by: Azween, Abdullah, et al.
Published: (2008)

Legacy Model Reconfiguration Using Graph-Theoretic
by: Azween, Abdullah
Published: (2008)

Legacy Model Reconfiguration Using Graph-Theoretic
by: Azween, Abdullah
Published: (2008)

Semantic-Based, Scalable, Decentralized and Dynamic Resource Discovery for Internet-Based Distributed System
by: Hassan, Mahamat. I, et al.
Published: (2010)

A Proposed Application Model for a Biologically-Inspired Sound Signal Analyzer
by: Hammuzamer, Irwan, et al.
Published: (2009)

Self-organizing Grid resource discovery
by: M.I., Hassan, et al.
Published: (2008)

A Proposed Model of Biologically-Inspired Sound Signal Analyzer
by: Hammuzamer , Irwan, et al.
Published: (2009)

A Proposed Application Model for a Biologically-Inspired Sound Signal Analyzer
by: Hammuzamer Irwan, Hamzah, et al.
Published: (2009)

A Proposed Biologically-Inspired Model to Analyze Signal Sound
by: Hammuzamer Irwan , Hamzah, et al.
Published: (2009)

Evaluating Intrusion Detection Approaches Using a Multi-criteria Decision Making Technique
by: I. , Ahmad, et al.
Published: (2010)

A New Abstraction Model for Biologically- Inspired Sound Signal Analyzer
by: Hammuzamer Irwan , Hamzah, et al.
Published: (2009)

Biologically-Inspired Modeling of Filtering Noise in Signal Sound
by: Hammuzamer , Irwan, et al.
Published: (2009)

A Semantic Description and Registration Framework for Large Grid Resource Discovery Systems
by: Mahamat Issa , Hassan, et al.
Published: (2009)

Biological Intrusion Prevention and Self-Healing Model for Network Security
by: Muna, Elsadig, et al.
Published: (2010)

Biological Inspired Approach in Parallel Immunology System for Network Security
by: muna, elsadig, et al.
Published: (2010)

Hybrid Biological Intrusion Prevention and Selfhealing System for Network Security
by: Muna, Elsadig, et al.
Published: (2010)

A New Grid Resource Discovery Framework
by: Hassan, Mahamat I., et al.
Published: (2011)

A BIOLOGICALLY INSPIRED OBJECT RECOGNITION SYSTEM
by: Hamada , R. H. Al-Absi, et al.
Published: (2010)

Towards the Designing of a Robust Intrusion Detection System through an Optimized Advancement of Neural Networks
by: Ahmad, Iftikhar, et al.
Published: (2010)

A Proposed Biologically Inspired Model for Object Recognition
by: Hamada , R. H. Al-Absi, et al.
Published: (2009)

Semantic-Based Grid Resource Discovery Systems
by: Mahamat Issa , Hassan, et al.
Published: (2010)

Scalable Self-Organizing Model for Grid Resource Discovery
by: Mahamat Issa, Hassan, et al.
Published: (2008)

Biologically-Inspired Abstraction Model to Analyze Sound Signal
by: Hammuzamer Irwan , Hamzah, et al.
Published: (2008)

Immune Multi Agent System for Intrusion Prevention and Self healing System Implement a Non-Linear Classification
by: Muna, Elsadig, et al.
Published: (2010)

Biological Inspired Intrusion Prevention and Self-healing System for Network Security Based on Danger Theory
by: Muna, Elsadig, et al.
Published: (2009)

Artificial Neural Network Approaches to Intrusion Detection: A Review
by: I., Ahmad, et al.
Published: (2010)

Biologically Inspired Model for Securing Mobile Ad Hoc Networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2010)

Biologically Inspired Model for Securing Hybrid Mobile Ad hoc Networks
by: Yasir Abdelgadir , Mohamed, et al.
Published: (2008)

Towards the Selection of Best Neural Network System for Intrusion Detection
by: Iftikhar , Ahmad, et al.
Published: (2010)

Biologically Inspired Signal Noise Elimination Using Human Ear Model with Concurrent Algorithm
by: Hammuzamer Irwan, Hamzah, et al.
Published: (2008)

Biologically Inspired Object Recognition System
by: Hamada , R. H. Al-Absi, et al.
Published: (2010)

Application of Artificial Neural Network in Detection of Probing Attacks
by: I., Ahmad, et al.
Published: (2010)

comparative Analysis of Intrusion Detection Approaches
by: I., Ahmad, et al.
Published: (2010)

A LANGUAGE TO REPRESENT SECURITY POLICY FOR MULTI-AGENCY HEALTH INFORMATION SYSTEM
by: Intan najua, kamal nasir, et al.
Published: (2008)

Towards self-organizing service oriented architecture
by: Azween, Abdullah, et al.
Published: (2009)

A multi-agent based replication strategy for improving availability and maintaining consistency of data in large scale mobile traffic control environments
by: P.D.D., Dominic, et al.
Published: (2008)

A new abstraction model for biologically-inspired sound signal analyzer
by: Hamzah, Hammuzamer Irwan, et al.
Published: (2009)