Files in this item



application/pdfACC-survey.pdf (212kB)
(no description provided)PDF


Title:Formal Design of Cloud Computing Systems in Maude
Author(s):Meseguer, José
Subject(s):specification and verification of distributed systems
cloud computing
rewriting logic
Abstract:Cloud computing systems are complex distributed systems whose design is challenging for two main reasons: (1) since they are distributed systems, a correct design is very hard to achieve by testing alone; and (2) cloud computing applications have high availability and performance requirements; but these are hard to measure before implementation and hard to compare between different implementations. This paper summarizes our experience in using formal specification in Maude and model checking analysis to quickly explore the design space of a cloud computing system to achieve a high quality design that: (1) has verified correctness guarantees; (2) has better performance properties than other design alternatives so explored; (3) can be achieved before an actual implementation; and (4) can be used for both rapid prototyping and for automatic code generation.
Issue Date:2018-09-16
Genre:Technical Report
Date Available in IDEALS:2018-09-16

This item appears in the following Collection(s)

Item Statistics