9th of April 2018, Västerås - Sweden

VVIoT 2018

First International Workshop on Verification and Validation of Internet of Things

co-located with ICST 2018

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.

Program

Registration

Welcome and Introduction

VVIoT Chairs

Keynote Presentation 1: Automated Testing of Autonomous Driving Assistance Systems. W3Schools

Lionel BriandUniversity of Luxembourg, Luxembourg

Coffee Break

Technical Track


A Framework for Threat-driven Cyber Security Verification of IoT Systems, Tomas Kulik, Peter Würtz Vinther Tran-Jørgensen, Jalil Boudjadar and Carl Peter Leslie Schultz

Architectures and Experiences in Testing IoT Communications, Teemu Kanstrén, Jukka Mäkelä and Pekka Karhula

A Brief Overview of Existing Tools for Testing the Internet-of-Things, João Pedro Dias, Flávio Couto, Ana C.R. Paiva and Hugo Sereno Ferreira W3Schools

Requirements for Testing and Validating the Industrial Internet of Things, Liliana Antão, Rui Pinto, João Reis and Gil Gonçalves W3Schools

Lunch

Keynote Presentation 2: Trusted Apps for the Internet of Things.

Christian Prehoferfortiss GmbH, Germany

Coffee Break

European/National Projects


The EUREKA ITEA3 TESTOMAT Project – The Next Level of Test Automation, Sigrid Eldh, Ericsson AB, Sweden

Challenges in Cybersecure Internet-of-Things: a Basque Industry 4.0 Perspective, Aitor Urbieta, IK4-IKERLAN, Spain

Closing Session

- Announcement of the best paper
- Closing Remarks

VVIoT Chairs

Call for Papers

Topics of Interest

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

Paper Submission

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): Extended abstracts discussing an important testing problem either in industry or academia, any solution to the identified problem, discussion and open research questions.
- 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

Each paper must conform to the two columns IEEE conference publication format (http://www.computer.org/portal/web/cscps/formatting) and must be submitted in PDF. Submissions will be evaluated according to the relevance and originality of the work and to their ability to generate discussions between the participants of the workshop.Three reviewers will review each paper and all the accepted papers will be published as part of the ICST proceedings.

The workshop will have the best paper award, which will be announced and bestowed at the workshop closing session.

Organization

Program Chairs

Shaukat Ali, Simula Research Laboratory, Norway
Tao Yue, Simula Research Laboratory, Norway
Rui Abreu, Instituto Superior Técnico (IST) of the University of Lisbon, Portugal

Program Committee

- Benoit Baudry, Royal Institute of Technology (Sweden)
- Bruno Legeard, University of Franche-Comté and Smartesting (France)
- Tingting Yu, University of Kentucky (USA)
- Vasco Amaral, Universidade Nova de Lisboa (Portugal)
- Simone Cirani, University of Parma (Italy)
- Bruno Lima, University of Porto (Portugal)
- Shuai Wang, Simula Research Laboratory (Norway)
- João Pascoal Faria, University of Porto (Portugal)
- Darko Marinov, University of Illinois (USA)
- Dan Hao, Peking University (China)
- Bao Nguyen, Google (USA)
- Markus Schacher, KnowGravity (Switzerland)
- Tian Zhang, Nanjing University (China)
- Alessandra Bagnato, SOFTEAM (France)
- Zohaib Iqbal, QUEST Laboratory (Pakistan)
- Sarfraz Khurshid, University of Texas (USA)
- Annibale Panichella, University of Luxembourg (Luxembourg)
- Neil Walkinshaw, University of Leicester (UK)
- Hironori Washizaki, WASEDA University (Japan)
- Ji Wu, Beihang University (China)

KEYNOTES

Image

Lionel Briand University of Luxembourg

Automated Testing of Autonomous Driving Assistance Systems

Increasingly, autonomous systems' behavior is driven by machine learning, and in particular by (deep) neural networks. One crucial question then is how to effectively test such systems given that they don't have (complete) specifications or even source code corresponding to some of their critical behavior. Further, adding even more complexity to an already difficult problem, many of these autonomous systems are usually integrated into larger systems, thus possibly leading to undesirable feature interactions. This talk will report on recent work done to address these intricate problems and will attempt to better define the challenges ahead. Examples from the automotive domain will be used to illustrate the main points.

Short Bio:

Lionel C. Briand is professor in software verification and validation at the SnT centre for Security, Reliability, and Trust, University of Luxembourg, where he is also the vice-director of the centre. He is currently running multiple collaborative research projects with companies in the automotive, satellite, financial, and legal domains. Lionel was elevated to the grade of IEEE Fellow in 2010 for his work on the software testing. He was granted the IEEE Computer Society Harlan Mills award and the IEEE Reliability Society engineer-of-the-year award for his work on model-based verification and testing, respectively in 2012 and 2013. He received an ERC Advanced grant in 2016 - on the topic of modelling and testing cyber-physical systems - which is the most prestigious individual research grant in the European Union.

Image

Christian Prehofer fortiss GmbH

Trusted Apps for the Internet of Things

In this talk, we present an open platform for IoT (Internet of Things) devices with apps from 3rd parties. As many IoT devices also take over critical functions, it is important to validate and verify apps for such devices. Our platform provides several mechanisms for security and safety, from the hardware and operating system level as up to the development tool chain. For the development, we consider a dedicated tool chain for model-based development of apps. While the main goal is to provide security and safety „by design", we also include a tool chain for formal verification of apps as well as runtime validation. We will present an overview of the approach, as well as challenges regarding security and safety verification. We conclude with practical experiences with apps for automotive, medical and industrial automation domain.

Short Bio:

Christian Prehofer is competence area manager at fortiss GmbH, Munich, Germany, and affiliated with the TU München as a lecturer and with the Chang'an University as an adjunct professor. Christian Prehofer obtained his PhD at the Technical University of Munich in 1995, where he also received the habilitation degree in 2000. From 1998 to 2001 he was a system architect and group leader at Siemens in the area of communication systems. Since 2002, he has established a research group with a focus on self-organized systems at DoCoMo Euro Labs. From 2006 to 2009 he held positions as distinguished research leader and director in the area of Internet services at Nokia in Finland. Following this, he acted as chief researcher at Fraunhofer and simultaneously as professor at the LMU München. His research interests are connected vehicle architecture and services, open platforms for integrated mobility solutions, Internet-applications as well as software technology and architecture for mobile and embedded systems. Since 2013, he is leading a research group at fortiss GmbH in Munich on Trusted Applications for Cyber-physcial Systems. He has more than 150 research publications and holds more that 30 patents.

THE VENUE

As part of ICST 2018, the workshop will be held at the Aros Congress Center.

Registration

Authors and participants must register through the main conference website: Registration for ICST 2018

Early Bird rate ends March 9th, 2018