8 Jul 2019
Prague, Czech Republic
=============================================================
2nd Workshop on Formal Verification of Physical Systems (FVPS 2019)
Colocated with CICM 2019
July 8, 2019
Prague, Czech Republic
https://www.cicm-conference.org/2019/cicm.php?event=fvps&menu=general
=============================================================
======
Theme
======
One of the main issues behind many failing systems is the ad-hoc
verification approach that involves a variety of formalism and techniques
for the modeling and analysis of various components of the present-age
(cyber)-physical systems. For example, control and communication protocols
are usually modeled using automata theory, and thus analyzed using model
checking techniques, while the modeling of physical aspects often require
multivariate calculus foundations, which are in turn analyzed using
paper-and-pencil based analytical proofs, simulation or theorem proving.
The fundamental differences between these modeling and analysis techniques
limit us to analyze the whole system as one unit and thus miss many corner
cases, which arise due to the operation of all the sub-components of the
system together. One of the major concerns is that, despite the
above-mentioned evident limitation in the analysis methods, many
safety-critical systems, such as aerospace, smart-transportation,
smart-grid and e-health, are increasingly involving physical elements.
Moreover, we are moving towards integrating more complex physical elements
in our engineering systems. For example, we are moving towards Quantum
Computers to meet the high-performance needs. Similarly, phonic components
are increasingly being advocated and used in aerospace applications due to
their lightweight and temperature independence compared to traditional
electronics-based components. Finally, the impact of physical components is
relevant to both the safety and security of the overall system. For
example, a malfunction in sensor measurement may lead to safety issues
whereas sophisticated physics based side-channel (e.g., power and acoustic
measurements) attacks lead to the security violation of the underlying
system.
The objective of the workshop is to gather scientists and engineers
interested in formal verification techniques for the modeling, analysis,
and verification of safety and security critical physical systems. We
encourage submissions on interdisciplinary approaches that bring together
formal methods and techniques from other knowledge areas such as quantum
computing, control theory, biology, optimization theory, and artificial
intelligence.
==============
Topics of Interest
==============
Topics of interest include (but are not limited to):
General Topics
Formalization of mathematics and physics theories
Interactive and automated theorem proving for physical systems
Model Checking algorithms and tools for physical systems
Formalization of security and safety of physical systems
Runtime verification of safety and security properties
Combination of formal, semi-formal and informal approaches
Formal verification of numerical algorithms
Refinement based verification of physical systems
Formalization of probability, reliability and statistical metrics
Hybrid systems
Benchmarks for physical systems
Formal requirement specification and validation
Formal verification and International Standards (e.g., ISO 26262, IEC
61508, DO 178)
Formal verification for safety cases
Application Domain
Aerospace and avionics systems
Automotive cyber-physical systems
Robotics
Smart-grids
Smart transportation
Human factor modeling and analysis
Biological and healthcare systems
=========
Submission
=========
Authors should prepare their papers in one column style of CEUR-WS. There
are two categories of submissions:
Regular papers describing developed work with theoretical or experimental
results (upto 15 pages)
Short papers on experience reports, tools or work in progress with
preliminary results or just new ideas for discussion (upto 6 pages)
Electronic submission is done through EasyChair. The submissions will be
reviewed by at least three PC members. At least one author of each accepted
paper is expected to attend FVPS and presents her/his paper.
The authors of the best papers will be invited to submit extended versions
to a special issue of a Formal Methods/CPS Journal.
=============
Important Dates
=============
Full Paper Submission: April 25, 2019
Notification: May 25, 2019
Camera Ready: May 31, 2019
Workshop: July 8, 2019
================
Program Committee
================
Aaron Dutle, NASA Langley Research Center, U.S.A.
Hubert Garavel, INRIA Grenoble, France
Osman Hasan, National University of Sciences and Technology, Pakistan
(Chair)
Atif Mashkoor, SCCH and JKU, Austria
Julien Narboux, University of Strasbourg, France
Peter Csaba Ölveczky, University of Oslo, Norway
Florian Rabe, FAU Erlangen-Nürnberg and LRI Paris, France
Sofiene Tahar, Concordia University, Canada (Chair)
Umair Siddique, Blackberry QNX Software Systems, Canada (Chair)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam