Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
The characteristics of cyber-physical systems and the Internet of things challenge static and dynamic analysis techniques on which traditional testing techniques rely. Classic approaches are not fully adequately for testing cyber-physical systems and new approaches are needed.
The goal of this workshop is to provide a forum for researchers and practitioners to discuss the challenges in testing cyber-physical and the Internet of things software systems, exchange ideas, and propose solutions to the challenges. TAV-CPS/IoT 2019 follows the premier successful editions co-located with ISSTA in 2017 and ECOOP/ISSTA in 2018.
TAV-CPS/IoT is a participatory workshop. Attendees will have the opportunity to actively engage in the discussion activities planned for the workshop. Authors whose abstracts or short papers are accepted will be asked to give short and focused presentations to nourish discussion. Sessions will be organized around the workshop theme, along the main research trends that will emerge from the submitted papers, the focused presentations and the participants’ contribution. The workshop will include keynote presentations, invited talks, paper presentations, and discussion panels around the original vision of TAV-CPS/IoT.
TAV-CPS/IoT is a participatory workshop, where attendees will have the opportunity to actively engage in the many discussion activities planned for the workshop. The workshop is planned for one day and will be organised in 3 sessions, each focusing on a theme. Each session will include a keynote presentation to frame the problem and open the discussion, a short presentation of papers related to the topic, and a “fishbowl” panel discussion:
Keynote Presentation: Each session will start with a 30 minutes keynote about the selected topic. Topics will be refined according to the submissions starting from ‘Environment dependencies in CPS/IoT systems, ‘Dealing with concurrency, distribution, heterogeneity, and non-determinism in CPS/IoT systems’, ‘Security and non-functional properties of CPS/IoT systems’.
Paper Presentation: Accepted papers will be clustered and shape the three sessions. We plan to include full papers, new idea papers and extended abstracts, and ask authors for 5 to 15 minutes presentations depending on the maturity or the paper and the number of submissions.
Panel Session: Each session will include a “fishbowl” panel ignited with keynote and paper presentations, for in depth discussion of the topic.
Mon 15 Jul
|11:00 - 11:20|
|11:20 - 11:40|
|11:40 - 12:00|
|12:00 - 12:30|
|14:00 - 14:20|
|14:20 - 14:40|
|14:40 - 14:55|
|14:55 - 15:10|
|15:10 - 15:30|
|16:00 - 16:20|
Valerio TerragniUniversità della Svizzera Italiana
|16:20 - 16:40|
Yan CaiInstitute of Software, Chinese Academy of Sciences
|16:40 - 17:00|
|17:00 - 17:20|
|17:20 - 17:30|
Call for Submissions
TAV-CPS/IoT invites submissions of papers describing at least one primary thrust of your prior or current work. Your submission could be a summary of the primary challenge you have addressed in testing and analysis of cyber-physical systems and Internet of Things, or it could describe current work you are engaged in, or it could present a challenge even without any current solution. We invite three kinds of submissions.
Full Papers (6 pages): Results of past research, research in progress, tools, experience reports.
New Idea Papers (4 pages): Innovative new ideas supported by promising initial evidence.
Extended Abstracts (2 pages): Description of an important problem, prediction of potential novel directions, discussion of open research questions.
Topics of interest include, but are not limited to, the following ones:
- Testing techniques for CPS/IoT
- Formal verification techniques for CPS/IoT
- Program analysis techniques for CPS/IoT
- Tools and infrastructures for CPS/IoT testing, analysis, or verification
- Using simulation to support testing for CPS/IoT
- Bug characteristics study for CPS/IoT
- Testing as a service for CPS/IoT
- Modeling techniques for CPS/IoT to support testing and verification
- IoT middleware testing - Empirical study on any of the above topics
Each paper will be reviewed by at least three reviewers and all accepted papers will be published in the ACM Digital Library.