MT-CPS’18
3d International Workshop on
Monitoring and Testing of Cyber-Physical Systems
Porto, Portugal, USA
10 April 2018
Co-located with CPS Week
https://sites.google.com/asu.
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 of CPS
– Testing the integration of heterogeneous components
– Interpretation of multi-dimensional counter-examples
– 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, including in medical platforms
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
Notification: March
Early registration: TBD
Workshop: April 10, 2018
Program Chairs
Houssam Abbas, University of Pennsylvania
Thao Dang, Verimag
Bardh Hoxha, Souther Illinois University
Takashi Ichimasa, Mentor Graphics, USA
Program Committee
Houssam Abbas, University of Pennsylvania, USA
Ezio Bartocci, Vienna University of Technology, Austria
Mauricio Castillo-Effen, General Electric
Thao Dang, VERIMAG, France
Jyotirmoy Deshmukh, University of Souther California
Georgios Fainekos, Arizona State University, USA
Sebastian Fischmeister, University of Waterloo, Canada
Ichiro Hasuo, University of Tokyo, Japan
Bardh Hoxha, Souther Illinois University
Takashi Ichimasa, Mentor Graphics, USA
BaekGyu Kim, Toyota InfoTechnology Center, USA
Oded Maler, VERIMAG, France
Mohammad Reza Mousavi, Halmstad University
Jens Oehlerking, Robert Bosch GmbH
Oleg Sokolsky, University of Pennsylvania, USA
Cortland Starrett, OneFact, USA
Qiming Zhao, Denso