[Back]

H. Truong, L. Berardinelli, I. Pavkovic, G. Copil:
"Modeling and Provisioning IoT Cloud Systems for Testing Uncertainties";
Talk: 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2017), Melbourne, Australia; 11-07-2017 - 11-10-2017; in: "Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2017)", ACM, (2017), ISBN: 978-1-4503-5368-7; 96 - 105.

Modern Cyber-Physical Systems (CPS) and Internet of Things (IoT) systems consist of both loosely and tightly interactions among various resources in IoT networks, edge servers and cloud data centers. These elements are being built atop virtualization layers and deployed in both edge and cloud infrastructures. They also deal with a lot of data through the interconnection of different types of networks and services. Therefore, several new types of uncertainties are emerging, such as data, actuation, and elasticity uncertainties. This triggers several challenges for testing uncertainty in such systems. However, there is a lack of novel ways to model and prepare the right infrastructural elements covering requirements for testing emerging uncertainties. In this paper, first we present techniques for modeling CPS/IoT Systems and their uncertainties to be tested. Second, we introduce techniques for determining and generating deployment configuration for testing in different IoT and cloud infrastructures. We illustrate our work with a real-world use case for monitoring and analysis of Base Transceiver Stations.

Testing, IoT, Cloud computing, Cyber-Physical Systems, Uncertainty, Deployment

http://dx.doi.org/10.1145/3144457.3144490

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