みなさま，
東京大学の蓮尾です．物理情報システム分野の一大イベント CPS Week （次回はウィーン開催です）のワークショップの一つ， MT-CPS の論文募集をお送りします．
今回が初開催のインフォーマルなワークショップですが， CPS のモニタリング・テストは産業界との協働も盛んな， 近年活発な分野です．ぜひ投稿・参加をご検討ください．
どうかよろしくお願いいたします． 蓮尾 一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/
==============
Call for Abstracts
1st Workshop on Monitoring and Testing of Cyber-Physical Systems Part of CPS Week 2016 11 April 2016, Vienna, Austria http://mtcps16.ait.ac.at/
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 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
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 14, 2016 Notification: March 5, 2016 Early registration: March 10, 2016 Workshop: April 11, 2016
Submission instructions ------------------------------------ Abstracts are submitted via https://easychair.org/conferences/?conf=mtcps2016. 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.
Program Chairs ------------------------------------ Radu Grosu, Vienna University of Technology, Austria Oded Maler, VERIMAG, France Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria
Program Committee ------------------------------------ Xavier Avon, EASii-IC, France Ezio Bartocci, Vienna University of Technology, Austria Sergiy Bogomolov, IST Austria, Austria Harald Brandl, AVL List GmbH, Austria Thao Dang, VERIMAG, France Jyotirmoy Deshmukh, Toyota Technical Center, USA Alexandre Donzé, UC Berkeley, USA Georgios Fainekos, Arizona State University, USA Thomas Ferrère, Mentor Graphics, France Christoph Grimm, Kaiserslautern University of Technology, Germany Radu Grosu, Vienna University of Technology, Austria Ichiro Hasuo, University of Tokyo, Japan Thomas Klotz, Bosch Sensortec GmbH, Germany Scott Little, Intel, USA Oded Maler, VERIMAG, France Thang Nguyen, Infineon Technologies AG, Austria Dejan Nickovic, AIT Austrian Institute of Technology GmbH, Austria Sriram Sankaranarayanan, University of Colorado at Boulder, USA