This document proposes a stochastic model based on Stochastic Reward Nets (SRNs) to evaluate the performance and quality of service of Infrastructure as a Service (IaaS) cloud computing systems. The model can represent thousands of physical and virtual resources, and different cloud management strategies and configurations. It defines metrics like utilization, availability, response time and resilience to analyze system behavior from the perspective of both cloud providers and users. The model provides a flexible way to analyze cloud systems that is more scalable than simulation and provides more internal insight than field experiments.