[Back]

H. Truong:
"Provisioning and Testing Cyber-Physical Systems under Uncertainty";
Talk: University of Engineering and Technology, Vietnam National University, Hanoi, Vietnam (invited); 2016-08-03.

Traditional cyber-physical systems (CPS) have tight control loops and
interaction models between physical processes and cyber systems.
However, with advances in IoT (Internet of Things), network function
virtualization, and cloud computing, and with novel requirements from a wide range of applications, state-of-the-art CPS integrate various types of infrastructural elements, including virtualized network functions and cloud services, spanning different networks of IoT, edge servers and data centers. Both tight and loose control loops and interaction models are inherent in such CPS. These emerging properties lead to various novel uncertainties in CPS, such as elasticity, actuation and data ones, that need to be modeled, captured and tested.

In this talk, first, we will give an overview of the H2020 U-Test
project on testing uncertainties in CPS, covering its use cases,
uncertainty taxonomy and testing methodology. Second, we will present
our work on modeling and provisioning elastic CPS infrastructures
for testing. Third, we will present some initial results in our
governing, testing and verifying health of elastic CPS. We will
conclude the talk with discussions on our ongoing activities for
uncertainty testing of CPS.

Project Head Hong-Linh Truong:
Testing Cyber-Physical Systems under Uncertainlty, Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies