posted by user: umairsiddique || 982 views || tracked by 1 users: [display]

FVPS 2018 : Formal Verification of Physical Systems


When Aug 13, 2018 - Aug 17, 2018
Where Hagenberg, Austria
Submission Deadline Jun 15, 2018
Notification Due Jul 6, 2018
Final Version Due Jul 13, 2018
Categories    formal methods   cyber physical systems   safety critical systems   verification and validation

Call For Papers

        Workshop on Formal Verification of Physical Systems (FVPS 2018)
                         August 17, 2018
                      RISC, Hagenberg, Austria

                       Co-located with CICM 2018

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 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 limitation 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 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 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 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, semiformal and infromal 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

Application Domain
- Aerospace and avionic systems
- Automotive cyber physical systems
- Robotics
- Smartgrids
- Smart transportation
- Human factor modeling and analysis
- Biolgical and healthcare systems

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 15 pages)
- Short papers on experience reports, tools or work in progress with preliminary results (up to 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: June 15, 2018
- Notification: July 6, 2018
- Camera Ready: July 13, 2018
- Workshop: August 17, 2018

Program Chairs
- Sofiene Tahar , Concordia University, Montreal, QC, Canada
- Osman Hasan, National University of Sciences and Technology (NUST), Pakistan
- Umair Siddique, Waterloo Technical Center (WTC), BorgWarner, Canada

Program Committee (TBC)
- Aaron Dutle, NASA Langley Research Center, U.S.A.
- Jacques Fleuriot, University of Edinburgh, U.K.
- Hubert Garavel, INRIA Grenoble, France
- Atif Mashkoor, SCCH and JKU, Austria
- Sergio Mover, University of Colorado Boulder, U.S.A.
- Julien Narboux, University of Strasbourg, France
- Peter Csaba Ölveczky, University of Oslo, Norway
- Shinichi Shiraishi, Toyota InfoTechnology Center, U.S.A.

Related Resources

MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
RTEST 2022   The CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST)
ACM SaT-CPS 2022   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
SI-Frontiers-Robotics-AI-MCPC 2022   Special Issue @ Frontiers in Robotics and AI: Mobile Cyber-Physical Collectives
CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
VSTTE 2021   VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
GandALF 2021   International Symposium on Games, Automata, Logics, and Formal Verification
ICTAC 2021   18th International Colloquium on Theoretical Aspects of Computing
ICE 2021   14th Interaction and Concurrency Experience