[Om-announce] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024

Serge Autexier serge.autexier at dfki.de
Wed Jun 12 18:19:15 CEST 2024


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

			     Second 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fcicm-conference.org%2F2024%2Fcicm.php%3Fevent%3Dfvps%26menu%3Dgeneral&data=05%7C02%7C%7C872ca8f118404af4a72c08dc8afb69dc%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638538059627001910%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=38fjLgZKaFC4b8TaCznvO8879Z5f7JNjiGEWYYKdyXc%3D&reserved=0
      
================================================================================


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 to be found
at https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fceur-ws.org%2FVol-XXX%2Fsamplestyles%2F&data=05%7C02%7C%7C872ca8f118404af4a72c08dc8afb69dc%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638538059627001910%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=hHq7f4l9enTi62R3W2ddiV1GO5iPdU6TdrTJgT0L3wE%3D&reserved=0 .

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 at
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dfvps2024&data=05%7C02%7C%7C872ca8f118404af4a72c08dc8afb69dc%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638538059627001910%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=e3iN3Ua%2B3L5fnDvYDnUJJU4CLdhQCUtU9ds489RTMxw%3D&reserved=0. 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fceur-ws.org%2F&data=05%7C02%7C%7C872ca8f118404af4a72c08dc8afb69dc%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638538059627001910%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=a1fHnEaNvs3Q1DBoglo%2F%2FAIqZqGAW%2FAYnxpkZGr8Ft8%3D&reserved=0)
  
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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.cambridge.org%2Fcore%2Fjournals%2Fresearch-directions-cyber-physical-systems%2Finformation%2Fabout-this-journal&data=05%7C02%7C%7C872ca8f118404af4a72c08dc8afb69dc%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638538059627001910%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=aCjWuVeJXT9XzDE%2Bj8E1dWC%2BFVOwZYdvD9Rkz0sjFTw%3D&reserved=0)

 
Important Dates
===============
* Full Paper Submission: June 16, 2024 (Extended Deadline)
* Notification: July 7, 2024 (Extended Deadline)
* Camera Ready: July 14, 2024
* Workshop: August 5, 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


More information about the Om-announce mailing list