New workshop organization

Due to the COVID-19 pandemic, the workshop will be held in an entirely virtual format.

In order to virtually attend the workshop, you need to register by sending an email to mtcps2020@easychair.org with your name and affiliation. Note that there is no registration fee!

Tentative plan

The workshop will be held as follows (Please check this page frequently, as the plan may change):

• Starting from April 13, videos of the talks will be made available to registered workshop attendees. Attendees will be able to ask questions and authors to answer in a dedicated forum.
• On April 21 at 14:00 UTC , we will have a live keynote speech by Sanjit A. Seshia.
• On April 22 at 13:30 UTC , we will have a live Q&A session with all the authors. Authors will have the opportunity to further elaborate their answers to the questions received in the forum of their paper, and attendees to ask new questions.

Organizational matters

• For the live keynote speech and the live Q&A session, workshop attendees and authors will receive an invitation to a Zoom room. Please install Zoom in advance: https://zoom.us/download#room_client .
• Please check carefully the corresponding time in your time zone:
  • Keynote speech on April 21, 14:00 UTC
  • Q&A session on April 22, 13:30 UTC

Description

Cyber-physical systems (CPS) model the integration of computational modules, like decision logic, with physical phenomena in the environment, such as the phenomenon being controlled by the logic. Several CPS applications, such as self-driving cars and other autonomous ground/aerial/underwater vehicles, medical devices, surgical robots, as well as many Internet of Things (IoT) applications, particularly for Industrial IoT or Industry 4.0, are safety-critical, where human lives can be at stake. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a challenging task. Given the gap between the complexity of such systems and the scalability of current formal methods, exhaustive formal verification remains an elusive goal. However, simulation-based lightweight verification techniques, such as monitoring and testing, achieve both rigor and efficiency by enabling the evaluation of systems according to the properties of their exemplar behaviors. The Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) aims to bring together researchers and practitioners interested in the problems of detecting, testing, measuring, and extracting qualitative and quantitative properties from individual behaviors of CPS.

Topics of interest include (but are not limited to):

• Specification languages for monitoring and testing
• Runtime verification and monitoring of CPS
• Model/Software/Hardware/Processor-in-the-loop (MIL/SIL/HIL/PIL) testing
• Testing the integration of heterogeneous components
• Monitoring and testing of streaming and/or historical IoT data
• Interpretation of multi-dimensional counter-examples
• Black-box and white-box testing
• Measuring and statistical information gathering for data-driven analyses
• Simulation-based verification and parameter synthesis
• Fault diagnostics, localization, and recovery
• Combination of static and dynamic analysis
• Applications and case studies from safety-critical domains

Workshop format

MT-CPS is intended to be a forum for exchanging the latest scientific activity and emerging trends between researchers and practitioners. We encourage submission of abstracts that address any of the aforementioned topics of interest and cover recently published or work in progress. In addition to the contributed material, the workshop will include a combination of invited talks from leading researchers and/or practitioners from industry, academia, and government research labs around the world.

The workshop is intended to be an informal gathering about latest results and, as such, it will not have formal proceedings. However, we will make accepted abstracts and presentation material publicly available.

Important Dates

• Abstract submission deadline: February 16, 2020 February 23, 2020
• Notification: March 8, 2020 March 11, 2020
• Final version: March 29, 2020 April 2, 2020
• Workshop: April 21, 2020 April 13-22, 2020 (virtual)