MT-CPS'18
Date: Apr 10, 2018 1:00 am – Apr 10, 2018 12:00 pm
Location: Porto, Portugal
3rd International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'18)
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
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
Submitted by Anonymous
on
3rd International Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS'18)
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
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