June 29, 2015Alan Stewart (Queens University, Belfast, UK)
The performance and reliability of services deployed in the cloud vary with demand. The goal of this work is to provide a formal technique based on game theory for reasoning about the uncertainty associated with systems of micro-services. Block matrix-multiplication (BMM) is used as an example. A high-level description of BMM, expressed in Orc, has been implemented using Amazon AWS resources. Performance results are used to assess the predictions of the formal model.