CoSim-CPS 2022
6th Workshop on Formal Co-Simulation of Cyber-Physical Systems
A satellite event of SEFM 2022, Berlin, Germany
27 September 2022 (in-presence-only event)
6th Workshop on Formal Co-Simulation of Cyber-Physical Systems
A satellite event of SEFM 2022, Berlin, Germany
27 September 2022 (in-presence-only event)
Please follow the instructions at https://sefm-conference.github.io/2022/cfp.html to complete your registration to the workshop. All speakers will be required to register and give a talk in person. Talks will be streamed online. The are no costs or registration for remote listeners.
Paving the Way for Reinforcement Learning in Smart Grid Co-Simulations
(Dominik Vereno, Jonas Harb and Christian Neureite)
Do-it-yourself FMU generation
(Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri and Sergio Saponara)
High-Fidelity Modeling & Co-Simulation with πHyFlow
(Fernando Barros)
Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car
(Malthe Faurschou Tøttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo and Lukas Esterle. )
CoCoSim: a Tool for Co-simulation of Mobile Cooperative Robots
(Matías Richart, Felipe Velázquez, Federico Ciuffardi, Jorge Visca and Javier Baliosian.)
A Co-simulation-based framework of marine crane onboard operations
(Zizheng Liu, Yingguang Chu, Guoyuan Li and Houxiang Zhang)
Presentation durations: 40 minutes (30 Talk + 5 Q&A + 5 Buffer)
All times are local time: Central European Summer time (CEST)
09:00 - 09:10 Welcome
09:10 - 10:10 Invited Talk by Prof. Dr. Joachim Denil
10:10 - 10:40 Break
10:40 - 11:20 Paving the Way for Reinforcement Learning in Smart Grid Co-Simulations
11:20 - 12:00 Do-it-yourself FMU generation
12:00 - 14:00 Lunch
14:00 - 14:40 High-Fidelity Modeling & Co-Simulation with πHyFlow
14:40 - 15:20 Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car
15:20 - 15:40 Break
15:40 - 16:20 CoCoSim: a Tool for Co-simulation of Mobile Cooperative Robots
16:20 - 17:00 A Co-simulation-based framework of marine crane onboard operations
Title: Threats to and Opportunities for Validity in co-simulation
Abstract
Co-simulation is an essential tool for the design of complex engineered systems. From early on in the life-cycle of a system, models at different levels of abstraction and approximation are combined to make decisions about the system under design. Validity is typically described as creating a correct model to represent the actual system (under design) accurately. This is different to verification that focuses on the proper implementation. In this presentation, we relate different concepts of validity. We will look at the techniques that the community produces to check the validity of the system. Afterwards, we will look at the different threats to the validity of a (co-)simulation and look at some opportunities that arise when we explicitly reason on the validity of (co-)simulation models.
This workshop focuses on the integrated application of formal methods and co-simulation technologies in the development of software for Cyber-Physical Systems.
Co-simulation is an advanced simulation technique that allows developers to generate a global simulation of a complex system by orchestrating and composing the concurrent simulation of individual components or aspects of the system. Formal methods link software specifications and program code to logic theories, providing developers with means to analyze program behaviors in a way that is demonstrably exhaustive.
The two technologies complement each other. Developers can create prototypes suitable to validate hypotheses embedded in formal models and formal properties to be analyzed of the software. This is fundamental to ensure that the right system is being developed. Using formal methods, developers can extend test results obtained with co-simulation runs, and ensure that the same results apply to all program states for all possible program inputs. This enables early detection of latent design anomalies.
This workshop will give researchers and industrial practitioners a stage to demonstrate new methods and tools, present experience reports, discuss open challenges, and explore ideas for future development of frameworks integrating formal methods and co-simulation. Contributions are welcome on all aspects of system development, including specification, design, analysis, implementation and documentation of software for Cyber-Physical Systems.
Topics of interest include, but are not limited to, the following:
Development of new co-simulation methods and tools
Integration of formal methods technologies in co-simulation methods and tools
Experience reports on using existing co-simulation methods and tools
Emerging standards for co-simulation
Modeling and analysis of safety properties of cyber-physical systems through co-simulation
Modeling and analysis of human-machine interfaces in cyber-physical systems through co-simulation
Modeling and analysis of security aspects of cyber-physical systems through co-simulation
Co-simulation of the next-generation cyber-physical systems
Co-simulation in self-adaptive and digital twin systems
Submission link: https://easychair.org/conferences/?conf=cosimcps2022
Important dates:
Abstract submission (optional): Sunday 24 July 2022
Paper submission: Sunday 31 July 2022
Notification: Wednesday 31 August 2022
Camera-ready version: Monday 19 September 2022
Workshop date: Tuesday 27 September 2022
Springer LNCS post-proceedings are planned to be published after the workshop.
Formatting instructions & page limits:
Full papers: up to 15 pages LNCS format, excluding references. Two more pages containing only references are permitted.
Short papers & demos: up to 6 pages LNCS format, including references.
Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct)
Cinzia Bernardeschi, University of Pisa, Italy, cinzia (dot) bernardeschi (at) unipi (dot) it
Cláudio Gomes, Aarhus University, Denmark, claudio (dot) gomes (at) ece (dot) au (dot) dk
Maurizio Palmieri, University of Pisa, Italy, maurizio (dot) palmieri (at) ing (dot) unipi (dot) it
Paolo Masci, National Institute of Aerospace (NIA), USA, paolo (dot) masci (at) nianet (dot) org
Aaron Dutle, NASA Langley Reserach Center, USA
Adriano Fagiolini, University of Palermo, Italy
Andrea Domenici, University of Pisa, Italy
Francesco Flammini, Mälardalen University, Sweden
Francisco J. González, University of A Coruña, Spain
Holger Pfeifer, fortiss GmbH, Germany
Hugo Daniel Macedo, Aarhus University, Denmark
Jörg Brauer, Verified Systems International GmbH, Germany
Julien Alexandre Dit Sandretto, Ensta ParisTech, France
Ken Pierce, Newcastle University, UK
Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse, France
Paul De Meulenaere, University of Antwerp, Belgium
Rudolf Schlatte, University of Oslo, Norway
Stylianos Basagiannis, Collins Aerospace, Ireland
CoSim-CPS-21 @ SEFM21 (Dec 7, 2021, Virtual)
CoSim-CPS-20 @ SEFM20 (Sep 14, 2020, Virtual)
CoSim-CPS-19 @ SEFM19 (Sep 16, 2019, Oslo, Norway)
CoSim-CPS-18 @ SEFM18 (Jun 26, 2018, Toulouse, France)
CoSim-CPS-17 @ SEFM17 (Sep 5, 2017, Trento, Italy)