Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
Today’s cyber-physical systems (CPS) span IoT and cloud-based datacenter infrastructures. Such infrastructures are highly heterogeneous and various types of uncertainty are inherent. Thus, testing uncertainties in these CPS is a challenging and multidisciplinary activity. We need several tools for modeling, deployment, control, and analytics to test and evaluate uncertainties for different configurations of the same CPS software. In this paper, we explain why using state-of- the art model-driven engineering (MDE) and model-based testing (MBT) tools is not adequate for testing uncertainties of CPS in IoT Cloud infrastructures. We discus how to combine them with techniques for elastic execution to dynamically provision both CPS under test and testing utilities to perform tests in various IoT Cloud infrastructures.
Thu 13 JulDisplayed time zone: Tijuana, Baja California change
15:30 - 17:30 | |||
15:30 30mTalk | Support for Security and Safety of Programmable IoT Systems TECPS Alex Gyori University of Illinois at Urbana-Champaign, USA, Earlence Fernandes University of Michigan, Amir Rahmati University of Michigan, Atul Prakash University of Michigan, Darko Marinov University of Illinois at Urbana-Champaign | ||
16:00 30mTalk | Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution TECPS | ||
16:30 30mTalk | Fault Injection in the Internet of Things Applications TECPS Amin Alipour University of Houston | ||