Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Merging models based on given correspondences
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Remus: high availability via asynchronous virtual machine replication
NSDI'08 Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation
Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Composition of Qualitative Adaptation Policies
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
An adaptive QoS-aware fault tolerance strategy for web services
Empirical Software Engineering
FTCloud: A Component Ranking Framework for Fault-Tolerant Cloud Applications
ISSRE '10 Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Reliability Support in Virtual Infrastructures
CLOUDCOM '10 Proceedings of the 2010 IEEE Second International Conference on Cloud Computing Technology and Science
Supporting runtime software architecture: A bidirectional-transformation-based approach
Journal of Systems and Software
Instant and incremental QVT transformation for runtime models
Proceedings of the 14th international conference on Model driven engineering languages and systems
BFTCloud: A Byzantine Fault Tolerance Framework for Voluntary-Resource Cloud Computing
CLOUD '11 Proceedings of the 2011 IEEE 4th International Conference on Cloud Computing
Generating synchronization engines between running systems and their model-based views
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Model driven configuration of fault tolerance solutions for component-based software system
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Since cloud computing has emerged as a commercial reality, guaranteeing high availability (HA) has become a critical requirement. Many kinds of HA mechanisms have been developed with the rapid expansion of cloud computing. However, selection and configuration are difficult in practice. In the development phase, developers must choose HA mechanisms for cloud computing based on their experience. In the use phase, users must choose and configure the HA mechanisms for their virtual machines (VMs) or services deployed on VMs. In this paper, we proposed a model-based HA configuration framework for the cloud. For the developer, we proposed an open HA mechanism library and an automatic configuration process. For users, we intend to ease the selection of HA mechanisms in the ever-changing cloud environment. We are implementing our approach in our model-based cloud platform, JadeCloud.