2nd Workshop on Monitoring and Testing of Cyber-Physical Systems

Part of CPS Week 2017

Friday, April 21, 2017, Pittsburgh, PA, USA

NEW! A number of student registration awards are available for attending MT-CPS! The awards are kindly provided by the Toyota Technical Center and the Toyota InfoTechnology Center, U.S.A.

Deadline: March 16 March 21 2017 by end of day (AOE). (Deadline extended)

Application: Send an email to (fainekos at asu dot edu) with your CV and a letter of intent that includes your membership status with IEEE or ACM, your institution, current year, and advisor.

Award: If you have already registered for the workshop, then your registration expenses will be reimbursed. If you have not registered for the workshop, then we will handle your registration for the workshop.

Description

Cyber-physical systems (CPS) are integrations of heterogeneous collaborative entities that interact among themselves and with their physical environment. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a challenging task. In order to address their full complexity, there is an emergent need for formal, yet efficient and scalable methods for the verification and analysis of CPS. Light-weight verification techniques, such as monitoring and testing, achieve both rigour and efficiency by enabling the evaluation of systems according to the properties of their individual behaviours. The Monitoring and Testing of Cyber-Physical Systems (MT-CPS) workshop aims at bringing together researchers and practitioners interested in the problems of detecting, testing, measuring and extracting qualitative and quantitative properties from CPS behaviors. Topics of interest include (but are not limited to):

  • Specification languages for monitoring and testing
  • Runtime verification and monitoring
  • Black-box and white-box testing
  • Measuring and statistical information gathering
  • Simulation-based verification and parameter synthesis
  • Diagnostics, error localization and repair
  • Combination of static and dynamic analysis
  • Applications and case studies

Workshop Format

MT CPS workshop is intended to be a forum for exchanging the latest scientific trends between researchers and practitioners interested in the field of light-weight verification and analysis of CPS. As a consequence, the workshop will NOT have formal proceedings. We encourage submission of abstracts that address any of the aforementioned topics of interest and cover recently published results as well as the work in progress.

Important Dates

  • Abstract submission deadline: February 20, 2017
  • Notification: March 6, 2017
  • Early registration: March 17th
  • Workshop: April 21, 2017

The MT-CPS 2017 workshop is organized by: Arizona State University, University of Pennsylvania, Toyota Technical Center and Toyota InfoTechnology Center, U.S.A.

The MT-CPS 2017 workshop is financially sponsored by the Toyota Technical Center and Toyota InfoTechnology Center, U.S.A.