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

Displayed time zone: Tijuana, Baja California change

15:30 - 17:30
Session 3TECPS at ESB 2001
Chair(s): Stephen McCamant University of Minnesota
15:30
30m
Talk
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
30m
Talk
Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
TECPS
Hong-Linh Truong TU Wien, Luca Berardinelli Johannes Kepler University Linz
16:30
30m
Talk
Fault Injection in the Internet of Things Applications
TECPS
Amin Alipour University of Houston