The Community for Technology Leaders
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (2011)
Boca Raton, Florida USA
Nov. 10, 2011 to Nov. 12, 2011
ISSN: 1530-2059
ISBN: 978-0-7695-4615-5
pp: 261-268
ABSTRACT
Three important factors in dependable computing are cost, error correction and high availability. In this paper we will focus on assessing a proposed model that encapsulates all three important factors and a virtual architecture that can be implemented in the IaaS layer of cloud computing. The proposed model will be assessed against a popular existing architecture (Triple Modular Redundant System TMR) and the availability analysis done with Fault-Trees combined with Markov Chains. These experiments will demonstrate that the virtualization of the TMR system using the architecture that we have proposed, will achieve almost the same level of availability/reliability and cost, along with the inherent advantages of virtual systems. Advantages include faster system restart, efficient use of resources and migration.
INDEX TERMS
Triple Modular Redundancy (TMR), Virtualization, Availability Modelling
CITATION

R. Paharsingh and O. Das, "An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing," 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering(HASE), Boca Raton, Florida USA, 2011, pp. 261-268.
doi:10.1109/HASE.2011.11
103 ms
(Ver 3.3 (11022016))