Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands

Embedded and cyber-physical systems (e.g., avionics, robotics, medical devices, IoT devices) are different from traditional systems: they are environment (e.g., hardware) dependent; they are distributed and can employ different concurrency control mechanisms to coordinate software components; they can have timing and performance constraints; they are heterogeneous and different components can be written in different languages; they have high security concerns. These characteristics render inapplicable the static and dynamic analysis techniques on which the traditional testing techniques (e.g., coverage, automated test case generation) rely. Therefore, applying these approaches can result in inadequately tested software.

The objective of this workshop is to provide a forum for researchers and practitioners to discuss the challenges in testing real-world embedded and cyber-physical software systems, exchange ideas, and propose solutions to the challenges. The workshop also aims to bring researchers and practitioners together, identify the gap between theory and practice, and provide insights for future work.

The ISSTA Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT) is co-located with ISSTA since 2017. TAV-CPS/IoT was formerly known as TECPS. The workshop will take place on Thursday, July 19th, 2018: the day after the main ISSTA conference. TAV-CPS/IoT covers a wide range of issues and topics including how to perform effective and efficient analysis on cyber-physical systems and Internet of Things, how the characteristics of these systems affect the maintainability of these systems, how to handle bugs and security issues that are specific to these systems, how to automatically generate test cases and test oracles, how to monitor and diagnose these systems, and how integration between applications and lower-level software components can be improved to facilitate testing for certain types of systems.

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. Authors whose papers are accepted will give presentations. Sessions will be organized around the workshop theme and determined by the organizing committee. The workshop will include keynote presentations and invited talks around the original vision of TAV-CPS/IoT.

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.

Papers are to be submitted via EasyChair. They must be written in English, provided as PDF documents, and follow the new ACM Master Article Template with the sigconf option. They should be 4 to 6 page papers. Accepted papers will be published in the ACM Digital Library.