Cyber-Physical Systems Uncertainty Testing in IoT Cloud Infrastructures

In recent days cyber-physical systems (CPS) span IoT and cloud-based datacenter infrastructures, which are highly diverse with various types of ambiguity. Thus, testing uncertainties in these CPS is a interesting and multidisciplinary activity. We need several tools for exhibiting, deployment, control, and analytics to test and evaluate uncertainties for different configurations of the same CPS. In this paper, we explain why using state-of-the art model-driven engineering (MDE) and model-based testing (MBT) tools is not sufficient for testing uncertainties of CPS in IoT Cloud infrastructures. We discuss how to combine them with techniques for flexible execution to dynamically provision both CPS under test and testing utilities to perform tests in various IoT Cloud infrastructures. CCS Concepts - Computing methodologies → Model development and anal- ysis; - Computer systems organization → Embedded and cyber- physical systems; - Software and its engineering → Software verification and validation; Distributed systems organizing prin- ciples; Software development techniques;