From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10367 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ichiro Hasuo Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: CFP: 6th Workshop On Monitoring And Testing Of Cyber-physical Systems (MT-CPS 2021) Date: Thu, 21 Jan 2021 10:46:06 +0900 Message-ID: References: <202101202204.10KM4ewc001506@easychair.org> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============4167501515048195896==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="15287"; mail-complaints-to="usenet@ciao.gmane.io" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, seworld-cDm04SImthVAfugRpC6u6w@public.gmane.org, logic-ml-FTmikAAqqcgsKWJTmfI6euga9YzINl48@public.gmane.org, jssst-ppl-FTmikAAqqcgsKWJTmfI6euga9YzINl48@public.gmane.org, sonoteno-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Thu Jan 21 06:52:26 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-000c2a01.pphosted.com ([148.163.151.92]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1l2StN-0003rI-V3 for gcst-types-announce@m.gmane-mx.org; Thu, 21 Jan 2021 06:52:26 +0100 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 10L5pUG0000879; Thu, 21 Jan 2021 00:51:30 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-000c2a01.pphosted.com with ESMTP id 366ffr0a6a-1; Thu, 21 Jan 2021 00:51:30 -0500 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 10L5oXjr115735; Thu, 21 Jan 2021 00:50:33 -0500 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 10L5oXSu103030; Thu, 21 Jan 2021 00:50:33 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 10L1kKF1074734 for ; Wed, 20 Jan 2021 20:46:20 -0500 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 10L1Vfse019851 for ; Wed, 20 Jan 2021 20:46:19 -0500 Original-Received: from mail-ed1-f51.google.com (mail-ed1-f51.google.com [209.85.208.51]) by mx0a-00390e01.pphosted.com with ESMTP id 3668pk5v48-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Wed, 20 Jan 2021 20:46:19 -0500 Original-Received: by mail-ed1-f51.google.com with SMTP id g1so603152edu.4 for ; Wed, 20 Jan 2021 17:46:19 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=rivoYkFGG15/kCNk/yr38tjWeYmznHAoPqTMhtLR79c=; b=gHGzffdhwuypLmcu4hWOQL9IGrsEx5NPEzjTU8l+ybVKieX7miFNSaJn7AUq+3UgIB Grh4JqfboyD3Oxifen+u7qqHxbL0YTrqnPW0yW74EKaRPCwECYnazpK92IomuIM0ICfb yGvklL3VnNV7d56TOUDeoie4sTpI7qmcVJ4a8bUDp8S8RJmSA8zg6KYgYS/MgJDcy/Si zEsLrE8hcWLLlrQgo0mszEdB6nv5XYA9G26cj/3vdKoGlKo6kgLCEoBhp5I3ThhALIHt hmf3ke0RBxwEwjkTneE//hKU3huJmORL3/ZBvL3yiQiE9l0uO6cu9EM03RPGgOYYixzS TX4w== X-Gm-Message-State: AOAM532VF+DNHMDIv7eVxD7u1gA+nQqGXeNhGOg61+xzX8ABVyDBanwx 5kY4vwRnz/NZg2NtrDlpRzPyLG2jHzMPW2kw775FRYKfb34= X-Google-Smtp-Source: ABdhPJxgbtj87sbiyKIXpCoDnqA5BA43Wfl6XcTcnn7NB1srAdAd1elj8zT/ikxEDtiZ7SnByb5Q3HimtN/6p6DWdeY= X-Received: by 2002:a05:6402:3130:: with SMTP id dd16mr4617744edb.282.1611193577035; Wed, 20 Jan 2021 17:46:17 -0800 (PST) In-Reply-To: <202101202204.10KM4ewc001506-bC77Qfv0vuxrovVCs/uTlw@public.gmane.org> X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343, 18.0.737 definitions=2021-01-20_10:2021-01-20, 2021-01-20 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 malwarescore=0 mlxscore=0 lowpriorityscore=0 adultscore=0 spamscore=0 impostorscore=0 bulkscore=0 phishscore=0 mlxlogscore=778 priorityscore=0 suspectscore=0 clxscore=163 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2101210004 domainage_hfrom=10569 X-Mailman-Approved-At: Thu, 21 Jan 2021 00:50:31 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343,18.0.737 definitions=2021-01-21_02:2021-01-20,2021-01-21 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 bulkscore=0 mlxscore=0 priorityscore=1501 mlxlogscore=999 clxscore=1011 phishscore=0 suspectscore=0 malwarescore=0 spamscore=0 lowpriorityscore=0 impostorscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2101210029 Xref: news.gmane.io gmane.comp.science.types.announce:9401 gmane.science.mathematics.categories:10367 Archived-At: --===============4167501515048195896== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============4167501515048195896== Content-Type: multipart/alternative; boundary="000000000000d2dafa05b95f3cd5" --000000000000d2dafa05b95f3cd5 Content-Type: text/plain; charset="UTF-8" [Sorry for multiple postings] -------------------------------------------------------------------------------------------- Call for Papers 6th Workshop on Monitoring And Testing Of Cyber-physical Systems MT-CPS 2021 May 18, 2021 - Online https://sites.google.com/virginia.edu/mt-cps2021 Part of CPS-IoT Week 2021 -------------------------------------------------------------------------------------------- Cyber-physical systems (CPS) model the integration of computational modules, like decision logic, with physical phenomena in the environment, such as the phenomenon being controlled by the logic. Several CPS applications, such as self-driving cars and other autonomous ground/aerial/underwater vehicles, medical devices, surgical robots, as well as many Internet of Things (IoT) applications, particularly for Industrial IoT or Industry 4.0, are safety-critical, where human lives can be at stake. CPS exhibit complex and unpredictable behaviors, thus making their correctness and robustness analysis a challenging task. Given the gap between the complexity of such systems and the scalability of current formal methods, exhaustive formal verification remains an elusive goal. However, simulation-based lightweight verification techniques, such as monitoring and testing, achieve both rigor and efficiency by enabling the evaluation of systems according to the properties of their exemplar! behaviors. The Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) aims to bring together researchers and practitioners interested in the problems of detecting, testing, measuring, and extracting qualitative and quantitative properties from individual behaviors of CPS. Topics of interest include (but are not limited to): * Specification languages for monitoring and testing * Runtime verification and monitoring of CPS * Model/Software/Hardware/Processor-in-the-loop (MIL/SIL/HIL/PIL) testing * Testing the integration of heterogeneous components * Monitoring and testing of streaming and/or historical IoT data * Interpretation of multi-dimensional counter-examples * Black-box and white-box testing * Measuring and statistical information gathering for data-driven analyses * Simulation-based verification and parameter synthesis * Fault diagnostics, localization, and recovery * Combination of static and dynamic analysis * Applications and case studies from safety-critical domains -------------------------------------------------------------------------------------------- Workshop format MT-CPS is intended to be a forum for exchanging the latest scientific activity and emerging trends between researchers and practitioners. We encourage submission of abstracts that address any of the aforementioned topics of interest and cover recently published or work in progress. In addition to the contributed material, the workshop will include a combination of invited talks from leading researchers and/or practitioners from industry, academia, and government research labs around the world. The workshop is intended to be an informal gathering about latest results and, as such, it will not have formal proceedings. However, we will make accepted abstracts and presentation material publicly available on the website of the workshop. -------------------------------------------------------------------------------------------- Important Dates: * Abstract submission deadline: March 18, 2021 23:59pm (AoE) * Notification: April 19, 2020 * Final version: May 4, 2020 * Workshop: May 18, 2020 --000000000000d2dafa05b95f3cd5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[Sorry for multiple postings]
---------------------------------------------------------------------------= -----------------
Call for Papers


6th Workshop on Monitoring And Testing Of Cyber-physical Systems
MT-CPS 2021
May 18, 2021 - Online
https://sites.google.com/virginia.edu/mt-cps2021=

Part of CPS-IoT Week 2021
---------------------------------------------------------------------------= -----------------


Cyber-physical systems (CPS) model the integration of computational modules= , like decision logic, with physical phenomena in the environment, such as = the phenomenon being controlled by the logic. Several CPS applications, suc= h as self-driving cars and other autonomous ground/aerial/underwater vehicl= es, medical devices, surgical robots, as well as many Internet of Things (I= oT) applications, particularly for Industrial IoT or Industry 4.0, are safe= ty-critical, where human lives can be at stake. CPS exhibit complex and unp= redictable behaviors, thus making their correctness and robustness analysis= a challenging task. Given the gap between the complexity of such systems a= nd the scalability of current formal methods, exhaustive formal verificatio= n remains an elusive goal. However, simulation-based lightweight verificati= on techniques, such as monitoring and testing, achieve both rigor and effic= iency by enabling the evaluation of systems according to the properties of = their exemplar!
=C2=A0 behaviors. The Workshop on Monitoring and Testing of Cyber-Physical = Systems (MT-CPS) aims to bring together researchers and practitioners inter= ested in the problems of detecting, testing, measuring, and extracting qual= itative and quantitative properties from individual behaviors of CPS.


Topics of interest include (but are not limited to):
* Specification languages for monitoring and testing
* Runtime verification and monitoring of CPS
* Model/Software/Hardware/Processor-in-the-loop (MIL/SIL/HIL/PIL) testing * Testing the integration of heterogeneous components
* Monitoring and testing of streaming and/or historical IoT data
* Interpretation of multi-dimensional counter-examples
* Black-box and white-box testing
* Measuring and statistical information gathering for data-driven analyses<= br> * Simulation-based verification and parameter synthesis
* Fault diagnostics, localization, and recovery
* Combination of static and dynamic analysis
* Applications and case studies from safety-critical domains


---------------------------------------------------------------------------= -----------------
Workshop format


MT-CPS is intended to be a forum for exchanging the latest scientific activ= ity and emerging trends between researchers and practitioners. We encourage= submission of abstracts that address any of the aforementioned topics of i= nterest and cover recently published or work in progress. In addition to th= e contributed material, the workshop will include a combination of invited = talks from leading researchers and/or practitioners from industry, academia= , and government research labs around the world.
The workshop is intended to be an informal gathering about latest results a= nd, as such, it will not have formal proceedings. However, we will make acc= epted abstracts and presentation material publicly available on the website= of the workshop.


---------------------------------------------------------------------------= -----------------
Important Dates:
* Abstract submission deadline: March 18, 2021 23:59pm (AoE)
* Notification: April 19, 2020
* Final version: May 4, 2020
* Workshop: May 18, 2020
--000000000000d2dafa05b95f3cd5-- --===============4167501515048195896==--