×

A survey on formal methods in cloud computing. (Chinese. English summary) Zbl 1449.68007

Summary: In information era, with the rapid development of internet technology, people need new technology to store and process mass of data, so cloud computing is widely used. Cloud computing has several basic characteristics: on-demand service, fast application elasticity, network access, resource pooling and measured service. The cloud computing should provide the users with robustness, fault tolerance, execution automation, and powerful computing facilities. But cloud computing systems are very complex and dynamic which makes it difficult to manage and test. We need to use formal methods to ensure the forementioned properties in cloud computing systems. In this paper we mainly survey recent works using formal methods on cloud computing, and introduce them from aspects of resource management, security, virtualization, etc.

MSC:

68M11 Internet topics
68Q01 General topics in the theory of computing
68Q60 Specification and verification (program logics, model checking, etc.)
68-02 Research exposition (monographs, survey articles) pertaining to computer science
PDFBibTeX XMLCite