Internet of Things (IoT) are unarguably considered as the next revolution of Internet. IoT are often viewed as a network of connected physical devices and systems capable of sensing and actuating the physical world, in addition to communicating with other devices and systems via information networks.
In the most sophisticated form, IoT must be capable of exhibiting self-* behaviors (e.g., self-configuration, self-healing, and self-adaption) in response to changes in the context of the physical environment without requiring any human intervention. The software is the key enabler for such flexibility and advanced features in IoT.
The tight integration of the cyber capabilities of the corresponding physical devices with the physical world brings novel verification and validation challenges. Some of these challenges include:1) High connectivity with both open and closed networks, 2) Highly heterogeneous not only in terms of physical devices but also in terms of large number of IoT middleware and IoT infrastructures, 3) Interaction with the physical world that is highly unpredictable, 4) Tight restrictions on resources, 5) Strict requirements on extra- functional properties such as security and safety, 6) Highly unpredictable behaviour of autonomous behaviours implemented in IoT and Industrial IoT (IIoT).
The VVIoT workshop will be a forum for academics, industrial researchers, developers, and practitioners to discuss challenges and advances in Verification and Validation of Internet of Things.
We solicit original submissions on the topics including, but not limited to: - Testing techniques for IoT systems - Fault Taxonomies for IoT systems - Tools and infrastructures for IoT testing - Simulation environments for IoT systems (e.g., how to simulate physical inputs from the environment) - Unit, integration and system testing for IoT systems - Model-based testing of IoT systems - Test models for IoT systems - IoT testing in several application domains (smart cities, e-health, smart buildings, transportation, industrial automation, etc.) - Formal Verification techniques for IoT systems - Testing as a service for IoT systems - Testing heterogeneous IoT systems - Testing time constrained IoT systems - Extra-Functional testing of IoT systems including but not limited to Security, Privacy, Safety, and Robustness - IoT middleware testing - IoT infrastructure testing - Test optimization including test minimization, prioritization, test selection for IoT Testing - IoT interoperability testing - Empirical evaluations on any of the above topics
04月09日
2018
会议日期
注册截止日期
留言