posted by organizer: brunolima || 4995 views || tracked by 6 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: https://www.fe.up.pt/vviot2019
 
When Apr 23, 2019 - Apr 23, 2019
Where Xian, China
Submission Deadline Jan 15, 2019
Notification Due Feb 1, 2019
Final Version Due Feb 15, 2019
Categories    software testing   IOT   verification   software engineering
 

Call For Papers

Second International Workshop on Verification and Validation of Internet of Things
23rd of April 2019, Xian - China
(co-located with ICST 2019)
www.fe.up.pt/vviot2019


Important dates

- Submission: 21st of January 2019
- Notification: 1st of February 2019
- Camera Ready: 15th of February 2019


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=vviot2019

Related Resources

Call for Chapters - CRC Press 2024   Internet of Things: Challenges and Advances
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
CrossMED 2024   International Conference Landscapes Across the Mediterranean
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
CCIOT 2024   ACM--2024 9th International Conference on Cloud Computing and Internet of Things (CCIOT 2024)
SOFT 2024   10th International Conference on Software Engineering
Call For Papers ICSC CITIES 2024   VII Ibero-American Congress of Smart Cities (presential and online conference)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
ICBTA 2024   ACM--2024 7th International Conference on Blockchain Technology and Applications (ICBTA 2024)