2nd International Workshop on Formal Engineering of Cyber-Physical Systems
Collocated with TASE 2023
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 lack 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 if 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
- Full Paper Submissions: May 12th, 2023
- Acceptance/Rejection Notification: June 12th, 2023
- Camera-ready paper: June 19th, 2023
- Workshop: to be announced
The proceedings will be published on ArXiv. Papers should be written in English and using the LNCS format. and should be 2 to 6 pages long (excluding reference).
In particular, we expect:
- Original research, including work in progress
- Case studies and experience reports
- Tool presentations and demonstrations
- Journal-first papers: recently published papers in high-quality journals or conferences
- PhD students’ on-going work
Submission should be made through the FE-CPS2023 submission page (EasyChair).
High quality papers will be invited to submit an extended version to a special issue of the Science of Computer Programming journal.