Knowledge-theoretic methods for certification of cloud-based network systems

A system that is highly dependable under hostile conditions but whose dependability cannot be easily evaluated prior to the deployment of applications is less desirable than a system with lower but predictable dependability. This is because a decision-making on the deployment of high assurance systems is often based on a risk analysis of application failures. For system services implemented on a cloud, system certification 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 knowledge-theoretic approach to reason about the dependability of a cloud-based network system using observational agents. Our approach is corroborated by measurements on system-level prototypes and simulation analysis of system models in the face of hostile environment conditions. A case study of content-distribution networks anchored on cloud infrastructures is also described.