1st Workshop on Monitoring and Testing of Cyber-Physical Systems

Cyber-physical systems (CPS) are integrations of heterogeneous  collaborative entities that interact between 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 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 PC co-Chairs: Radu Grosu (TU Wien, Austria), Oded Maler (VERIMAG, France), Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria)

Date: 11. - 11. April 2016
Location: Hofburg Palace, Vienna, Austria
Website: http://mtcps16.ait.ac.at/