Verification of non-functional properties of cloud-based distributed system services

@inproceedings{Ravindran2014VerificationON,
  title={Verification of non-functional properties of cloud-based distributed system services},
  author={Kaliappa Nadar Ravindran and Arun Adiththan},
  booktitle={AST},
  year={2014}
}
For distributed system services implemented on a cloud, system verification assumes added importance because of third-party control of cloud resources and the attendant problems of faults, QoS degradations, and security violations. Our paper focuses on a "model-based assessment" to reason about the non-functional properties of a cloud-based distributed system using observational agents. Our approach is corroborated by measurements on system-level prototypes and simulation analysis of system… CONTINUE READING