Write a Blog >>
Thu 13 Jul 2017 16:00 - 16:30 at ESB 2001 - Session 3 Chair(s): Stephen McCamant

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 Jul

issta-2017-tecps
15:30 - 17:30: TECPS - Session 3 at ESB 2001
Chair(s): Stephen McCamantUniversity of Minnesota
issta-2017-tecps15:30 - 16:00
Talk
Alex GyoriUniversity of Illinois at Urbana-Champaign, USA, Earlence FernandesUniversity of Michigan, Amir RahmatiUniversity of Michigan, Atul PrakashUniversity of Michigan, Darko MarinovUniversity of Illinois at Urbana-Champaign
issta-2017-tecps16:00 - 16:30
Talk
issta-2017-tecps16:30 - 17:00
Talk
Amin AlipourUniversity of Houston