1st International Workshop on Formal Engineering of Cyber-Physical Systems
FE-CPS 2022
- URL: https://www.irit.fr/FE-CPS_2022/
- Event Date: 2022-07-08 ~ 2022-07-10
- Submission Date: 2022-05-15
Engineering & Computer Science (General)
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
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
