The Coq mailing list

[serge.autexier AT dfki.de (Serge Autexier)]

======================================================================================

                                  First Call for Papers

         Third Workshop on Formal Verification of Physical Systems (FVPS-2024)
                                             
                                   August 5, 2024
                              Montreal, Quebec, Canada

                             Co-located with CICM 2024
                  
      https://cicm-conference.org/2024/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 modelled using automata theory, and thus analyzed using model
checking techniques, while the modeling of physical aspects often requires
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 limitations in the analysis methods, many
safety-critical systems, such as aerospace, smart-transportation,
smart-grid and e-healthcare, are increasingly involving physical elements.
Moreover, we are moving towards integrating more complex physical elements
in our engineering systems. For example, we are looking into developing
Quantum Computers to meet high performance needs. Similarly, photonic
components are increasingly being advocated and used in aerospace
applications due to their lightweight and temperature independency
compared to traditional electronics based components. Finally, the impact
of physical components is relevant to both safety and security of the
overall system. For example, 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 focus of the workshop will be on formal verification techniques and
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 physic’s mathematics and 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 for physical systems modeling and verification
  *  Benchmarks for physical systems
  *  Formal requirement specification and validation


Application Domain
--------------------------

  *  Aerospace and avionics systems
  *  Automotive cyber physical systems
  *  Autonomous Vehicles
  *  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 results (up to 
16 pages)
  *  Short papers on experience reports, tools or work in progress with 
preliminary results (up to 6
     pages)

Electronic submission is done through EasyChair
(https://easychair.org/my/conference?conf=fvps2024). The submissions will
be reviewed by at least three PC members. At least one author of each
accepted paper is expected to present her/his paper at FVPS.

All papers accepted in the workshop will be published in CEUR Workshop
Proceedings (https://ceur-ws.org/).


Journal Special Issue 
=====================
The authors of selected papers will be invited to submit the extended
versions of their accepted papers to the journal Research Directions:
Cyber-Physical Systems by Cambridge University Press
(https://www.cambridge.org/core/journals/research-directions-cyber-physical-systems/information/about-this-journal).

 
Important Dates
===============

  *  Full Paper Submission: June 9, 2024
  *  Notification: June 30, 2024
  *  Camera Ready: July 14, 2024
  *  Workshop: August 5-9, 2024


Program Chairs
==============

  *  Adnan Rashid, Concordia University, Montreal, QC, Canada
  *  Osman Hasan, National University of Sciences and Technology, Pakistan
  *  Sofiène Tahar, Concordia University, Montreal, QC, Canada


Program Committee
=================

  *  Aaron Dutle, NASA, USA
  *  Atif Mashkoor, Johannes Kepler University, Linz, Austria
  *  Pedro Ribeiro, University of York, UK
  *  Peter Csaba Ölveczky, University of Oslo, Norway
  *  Waqar Ahmed, Wind River, Canada
 

-------------------------------------------------------------------------------------