Write a Blog >>

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 Embedded and Cyber-Physical Systems (TECPS) will be co-located with ISSTA in Santa Barbara, California. The workshop will take place on Thursday, July 13th, 2017: the day after the main ISSTA conference. TECPS covers a wide range of issues and topics including how to perform effective and efficient analysis on large-scale and complex embedded and cyber-physical systems, 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

TECPS is a participatory workshop, where attendees will have the opportunity to actively engage in the many discussion activities planned for the workshop. Authors whose abstracts or short 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 TECPS.

Accepted Papers

Title
Discovering Instructions for Robust Binary-Level Coverage Criteria
TECPS
Fault Injection in the Internet of Things Applications
TECPS
Support for Security and Safety of Programmable IoT Systems
TECPS
Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
TECPS
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
TECPS

Call for Submissions

Two types of submissions are invited:

  • One page (or less) structured abstracts: Abstracts will be selected by the organizing committee. Selected abstracts will be presented at the workshop.

  • 2-4 page short papers: Papers will be reviewed by the organizing committee. Accepted papers will be included in the ISSTA workshop proceedings and presented at the workshop.

Both types of submission should describe 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 embedded and cyber-physical systems, or it could describe current work you are engaged in, or it could present a challenge even without any current solution.

All papers must be formatted using ACM Conference formatting guidelines.

Papers should be submitted via EasyChair.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 13 Jul

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
KeynoteTECPS at ESB 2001
Chair(s): Tingting Yu University of Kentucky
09:00
60m
Talk
Keynote Talk: Test Metrics and Generation Strategies for Next-Generation CPS Software
TECPS
Michael Whalen University of Minnesota
10:30 - 12:00
Session 1TECPS at ESB 2001
Chair(s): Alex Gyori University of Illinois at Urbana-Champaign, USA
10:30
30m
Talk
Invited Talk: Security by Compilation: An Automated Approach to Side-channel Resistance
TECPS
Chao Wang University of Southern California
11:00
30m
Talk
Invited Talk: Detecting Bugs in Robotic Systems
TECPS
John-Paul Ore University of Nebraska-Lincoln, USA
11:30
30m
Talk
Discovering Instructions for Robust Binary-Level Coverage Criteria
TECPS
Vaibhav Sharma University of Minnesota, Taejoon Byun University of Minnesota, Stephen McCamant University of Minnesota, Sanjai Rayadurgam University of Minnesota, Mats Heimdahl University of Minnesota
13:30 - 15:00
Session 2TECPS at ESB 2001
Chair(s): Kristen Walcott-Justice
13:30
30m
Talk
Invited Talk: Symbolic Execution as a Flexible Tool for Binary Analysis
TECPS
Stephen McCamant University of Minnesota
14:00
30m
Talk
Invited Talk: Testing Evolving Embedded Systems
TECPS
Tingting Yu University of Kentucky
14:30
30m
Talk
Towards Automated Composition of Heterogeneous Tests for Cyber-Physical Systems
TECPS
Alex Groce Northern Arizona University, Paul Flikkema Northern Arizona University, Josie Holmes Pennsylvania State University, USA
15:30 - 17:30
Session 3TECPS at ESB 2001
Chair(s): Stephen McCamant University of Minnesota
15:30
30m
Talk
Support for Security and Safety of Programmable IoT Systems
TECPS
Alex Gyori University of Illinois at Urbana-Champaign, USA, Earlence Fernandes University of Michigan, Amir Rahmati University of Michigan, Atul Prakash University of Michigan, Darko Marinov University of Illinois at Urbana-Champaign
16:00
30m
Talk
Testing Uncertainty of Cyber-physical Systems in IoT Cloud Infrastructures – Combining Model-Driven Engineering and Elastic Execution
TECPS
Hong-Linh Truong TU Wien, Luca Berardinelli Johannes Kepler University Linz
16:30
30m
Talk
Fault Injection in the Internet of Things Applications
TECPS
Amin Alipour University of Houston