================================================================================
Third Call for Papers
Third Workshop on Formal Verification of Physical Systems (FVPS-2024)
August 5, 2024
Montreal, Quebec, Canada
Hybrid Mode
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%7C3c1810fdc61a4d4260b208dc96730889%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638550668020653366%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=11gJsi3IfIhhAronDJzaKmEKcw9k3X2ct9JFdXkVHWE%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 Domains
--------------------------
+ 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
==========
There are two categories of submissions:
* Abstract – up to 2 pages
* Regular – 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%7C3c1810fdc61a4d4260b208dc96730889%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638550668020653366%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=RTptt8fZCt7NW7FnlGEyqZ2hC2e3tEiBlXcMwA7wPik%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%7C3c1810fdc61a4d4260b208dc96730889%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638550668020653366%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=m4gux7dBcIa0oXTfH1AwwNlwS9PKhsXq%2FA1zz4k4ico%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%7C3c1810fdc61a4d4260b208dc96730889%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638550668020653366%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=sVKWkqyCoYnEbEVPflHQ8uDQRNhuHPoDKDzxZAcOTJ8%3D&reserved=0)
Important Dates
===============
* Full Paper Submission: Continuous submission until July 12, 2024 (Early
submission leads to early notification).
* Camera Ready: July 26, 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
_______________________________________________
Om mailing list
Om@openmath.org
https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
