posted by organizer: brunolima || 8152 views || tracked by 10 users: [display]

VVIoT 2018 : International Workshop on Verification and Validation of Internet of Things

FacebookTwitterLinkedInGoogle

Link: http://www.fe.up.pt/vviot2018
 
When Apr 9, 2018 - Apr 9, 2018
Where Västerås, Sweden
Submission Deadline Jan 27, 2018
Notification Due Feb 19, 2018
Final Version Due Feb 28, 2018
Categories    software testing   IOT   verification   software engineering
 

Call For Papers

First International Workshop on Verification and Validation of Internet of Things
9th of April 2018, Västerås - Sweden
(co-located with ICST 2018)
www.fe.up.pt/vviot2018


Important dates

- Submission: 27th of January 2018
- Notification: 19th of February 2018
- Camera Ready: 28th of February 2018


Abstract

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.
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.


Topics (not exhaustive)

- 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


Submission format

Three types of papers can be submitted to the workshop, in addition to European/National Projects Presentations:
- Full papers (10 pages): Full research reporting new ideas with proper validation. Papers reporting extensive empirical evaluations on the above-mentioned topics are also welcomed.
- Short papers (6 pages): Research in progress, tools, experience reports, new ideas, applications and lessons learned in industry.
- Extended Abstract (1-2 pages): Research in progress, tools, experience reports, new ideas, applications and lessons learned in industry.
- European/National Project presentations (in IoT testing verification and validation, e.g. H2020): An abstract for a presentation on a European, National, or International Project on the above mentioned-topics. Note that abstracts will not be published.

Submission link: https://easychair.org/conferences/?conf=vviot2018

Related Resources

IEEE-ACAI 2025   2025 IEEE 8th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2025)
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
IEEE ICCCBDA 2026   IEEE--2026 the 11th International Conference on Cloud Computing and Big Data Analytics (ICCCBDA 2026)
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
SmartIoT 2025   The 9th IEEE International Conference on Smart Internet of Things
IEEE- CCRIS 2025   2025 IEEE 6th International Conference on Control, Robotics and Intelligent System (CCRIS 2025)
Integrating Embodied Intelligence and Io 2025   Intelligent Computing: Special Issue: Advanced Intelligent Computation for Integrating Embodied Intelligence and IoT Systems
AIAT 2025   2025 5th International Conference on Artificial Intelligence and Application Technologies (AIAT 2025)
IEEE ICAIBD 2026   IEEE--2026 The 9th International Conference on Artificial Intelligence and Big Data (ICAIBD 2026)
SOFEA 2025   11th International Conference on Software Engineering and Applications