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 rigor 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
Important dates
- Abstract submission deadline: February 14, 2016
- Notification: March 5, 2016
- Early registration: March 10, 2016
- Workshop: April 11, 2016
Program committee chairs
- Radu Grosu, Vienna University of Technology, Austria
- Oded Maler, VERIMAG, France
- Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria
For more detailed information about submissions instructions, Keynote speaker and programm committee, please visit the link above: