ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China

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.

Workshop Format

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.

Tracks

Mon 15 Jul

issta-2019-TAV-CPS-IoT-2019
09:00 - 10:30: Workshop – TAV-CPS/IoT - SPIN Keynote at Meeting Room 4
issta-2019-TAV-CPS-IoT-201909:00 - 10:30
Talk
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 8
issta-2019-TAV-CPS-IoT-2019
11:00 - 12:30: Workshop – TAV-CPS/IoT - Session 1 -Automated Software Testing of CPS-IoT at Meeting Room 8
issta-2019-TAV-CPS-IoT-201911:00 - 11:20
Talk
issta-2019-TAV-CPS-IoT-201911:20 - 11:40
Talk
issta-2019-TAV-CPS-IoT-201911:40 - 12:00
Talk
issta-2019-TAV-CPS-IoT-201912:00 - 12:30
Talk
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-TAV-CPS-IoT-2019
14:00 - 15:30: Workshop – TAV-CPS/IoT - Session 2 - Analysis of CPS-IoT at Meeting Room 8
issta-2019-TAV-CPS-IoT-201914:00 - 14:20
Talk
issta-2019-TAV-CPS-IoT-201914:20 - 14:40
Talk
Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya University
issta-2019-TAV-CPS-IoT-201914:40 - 14:55
Talk
issta-2019-TAV-CPS-IoT-201914:55 - 15:10
Talk
issta-2019-TAV-CPS-IoT-201915:10 - 15:30
Talk
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering15:30 - 16:00
Break
issta-2019-TAV-CPS-IoT-2019
16:00 - 17:30: Workshop – TAV-CPS/IoT - Session 3 - Concurrency and Security of CPS-IoT at Meeting Room 8
issta-2019-TAV-CPS-IoT-201916:00 - 16:20
Talk
Valerio TerragniUniversità della Svizzera Italiana
issta-2019-TAV-CPS-IoT-201916:20 - 16:40
Talk
Yan CaiInstitute of Software, Chinese Academy of Sciences
issta-2019-TAV-CPS-IoT-201916:40 - 17:00
Talk
issta-2019-TAV-CPS-IoT-201917:00 - 17:20
Talk
issta-2019-TAV-CPS-IoT-201917:20 - 17:30
Talk

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

Papers are to be submitted via the hotcrp TAV-CPS/IoT 2018 submission website. They must be written in English, provided as PDF documents, and follow the ACM Conference Format.

Each paper will be reviewed by at least three reviewers and all accepted papers will be published in the ACM Digital Library.