posted by user: sadegh_rk || 642 views || tracked by 1 users: [display]

FE-CPS 2022 : 1st International Workshop on Formal Engineering of Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: https://www.irit.fr/FE-CPS_2022/
 
When Jul 8, 2022 - Jul 10, 2022
Where Cluj-Napoca, Romania
Submission Deadline May 15, 2022
Notification Due Jun 12, 2022
Final Version Due Jun 19, 2022
Categories    cyber-physical systems   formal methods   programming languages
 

Call For Papers

The formal design and verification of Cyber-Physical Systems pose numerous diverse and interesting challenges to both research and engineering communities. Because of their hybrid and distributed nature, they require specific formalisms and tools that embed discrete and continuous aspects, while requiring advanced system engineering techniques to handle their complexity.

Such challenges have often been addressed separately by different communities to some extent; but CPS still miss overall methodologies and framework to handle their formal design.

The aim of this workshop is to bridge communities, both academic and industrial, covering the different aspects of safe CPS engineering, including verification, validation and overall design.

We welcome new ideas, even though not completely validated, as well as experiences and lessons learned of using existing techniques in industry or in large open source projects.

****************************************************************************

The topics of interest include, but are not limited to:

- Formal methods for CPS: formal languages (hybrid automata, Hybrid CSP, Hybrid Programs, etc.), theorem proving (Event-B, Continuous action systems, Coq, PVS, etc.), hybrid model-checking and reachability analysis (HyTech, SpaceEx, JuliaReach, etc.)
- CPS design: high-level languages (SysML, MARTE, Simulink, etc.) …
- Integration of formal methods in CPS development processes
- Formal methods in practice for CPS engineering

****************************************************************************

Submission Guidelines

The proceedings are planned to be published in Lecture Notes in Computer Science (to be confirmed).

Papers should be written in English and should have at most 6 pages (excluding references) in LNCS format. In particular, we expect: original research, including work in progress, case studies and experience reports, tool presentations and demonstrations.

Submission should be made through the FE-CPS 2022 submission page (EasyChair).

*****************************************************************************
Co-Chairs

Sergiy Bogomolov, University of Newcastle, UK

Guillaume Dupont, IRIT - INPT ENSEEIHT, Toulouse, France

Régine Laleau, LACL - University of Paris-Est Créteil, France

Related Resources

BIOS 2023   9th International Conference on Bioinformatics & Biosciences
CPSIOT 2023   2023International Conference on Cyber Physical Systems and IoT(CPSIOT 2023)
KI 2023   46th German Conference on Artificial Intelligence
CLUSTER 2023   cluster 2023 : IEEE Cluster Conference
FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems
ICSEng 2023   30th INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING
WAPL 2023   8th Workshop on Advances in Programming Languages (WAPL 2023)
IEEE CCNC STP-CPS 2023   5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA
SRDS 2023   42nd International Symposium on Reliable Distributed Systems
SII 2024   The 16th IEEE/SICE International Symposium on System Integration