posted by organizer: habbas || 1646 views || tracked by 7 users: [display]

MT-CPS 2017 : Monitoring and Testing for Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/asu.edu/mt-cps-2017
 
When Apr 21, 2017 - Apr 21, 2017
Where Pittsburgh, PA
Submission Deadline Feb 20, 2017
Notification Due Mar 6, 2017
Categories    CPS   monitoring   verification
 

Call For Papers

MT-CPS'17
2nd International Workshop on
Monitoring and Testing of Cyber-Physical Systems

Pittsburgh, PA, USA
21st April 2017
Collocated with CPS Week

https://sites.google.com/asu.edu/mt-cps-2017

DESCRIPTION

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 analyses
· 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 work in progress.

IMPORTANT DATES

· Abstract submission deadline: February 20, 2017
· Notification: March 6, 2017
· Early registration: March 10, 2017
· Workshop: April 21, 2017

PROGRAM COMMITTEE

· Houssam Abbas, University of Pennsylvania, USSA
· Ezio Bartocci, Vienna University of Technology, Austria
. Mauricio Castillo-Effen, General Electric
· Thao Dang, VERIMAG, France
· Jyotirmoy Deshmukh, Toyota Technical Center, USA
· Georgios Fainekos, Arizona State University, USA
. Sebastian Fischmeister, University of Waterloo, Canada
· Ichiro Hasuo, University of Tokyo, Japan
. BaekGyu Kim, Toyota InfoTechnology Center, USA
· Oded Maler, VERIMAG, France
. Konstantinos Mamouras, University of Pennsylvania, USA
. Sajed Miremadi, Volvo Car Corporation
. Sergio Mover, University of Colorado, USA
· Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria
. Jens Oehlerking, Robert Bosch GmbH
. Kristin Yvonne Rozier, Iowa State University, USA
. Erik Seligman, Intel, USA
. Oleg Sokolsky, University of Pennsylvania, USA
. Vishnu Vithala, Boeing
. Qiming Zhao, Denso


SUBMISSION INSTRUCTIONS

Abstracts are submitted via https://easychair.org/conferences/?conf=mtcps2 . Abstracts should be in PDF form, up to 2 pages in length with 1-inch margins and at least 10-point font size, and may contain up to two figures. Abstracts should list the full names, affiliations, and contact information of all authors, and the submission should indicate whether the abstract will be presented as a poster, orally, or both. Abstracts will be reviewed by the Program Committee. Those that are selected for oral and poster presentations will be distributed to workshop participants and posted on the workshop website.

PC CHAIRS

Houssam Abbas, University of Pennsylvania, USA
Jyotirmoy Deshmukh, Toyota Technology Center, USA
Georgios Fainekos, Arizona State University, USA
BaekGyu Kim, Toyota InfoTechnology Center, USA

Related Resources

SecCPS 2019   Workshop on Security issues in Cyber-Physical System(SecCPS)
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICCPS 2019   The 10th ACM/IEEE International Conference on Cyber-Physical Systems
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
ISMDMA 2018) 2018   2018 2nd International Symposium on Mechanical Design, Manufacture and Automation(ISMDMA 2018)
CPS-SPC 2018   CPS-SPC 2018 : ACM Workshop on Cyber-Physical Systems Security & Privacy (CPS-SPC)
CPN 2019   IEEE Workshop on Cyber-Physical Networking
Special Topics on Cybersecurity 2019   Special Topics on Cybersecurity - The 5th International Conference on Communication, Management and Information Technology
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
MDPI Information 2019   MDPI OA Journal of Information Science, Technology and Engineering --SI on Machine Learning for Cyber-Security