CoSim-CPS 2021
5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
A satellite event of SEFM 2021
December 7, 2021, Virtual Event
5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
A satellite event of SEFM 2021
December 7, 2021, Virtual Event
Zoom link for sessions: https://nu-edu-kz.zoom.us/j/96630723580
PDFs of each paper will be available for download throughout the duration of the SEFM conference.
The final program is now available!
Registration is now open at https://sefm-conference.github.io/registration/
Invited speaker confirmed: Paolo Bellavista
Please follow the instructions at https://sefm-conference.github.io/registration/ to complete your registration to the workshop.
Zoom link for sessions: https://nu-edu-kz.zoom.us/j/96630723580
Presentation Durations:
Long paper: 30 minutes (20 + 5 Q&A + 5 Buffer)
Short paper: 20 minutes (10 + 5 Q&A + 5 Buffer)
09:55-10:00 Opening
Session 1: Convergence and Stability of Co-simulations (chair: Cláudio Gomes)
10:00-10:30 Hao Feng, et al., "Under What Conditions does a Digital Shadow Track a Periodic Physical System?" [slides]
10:30-11:00 Irene Hafner and Niki Popper, "Convergence Properties of Hierarchical Co-Simulation Approaches" [slides][video]
11:00-12:00 Break (suggestion: check out the invited talk at OpenCERT)
Keynote
12:00-13:00 Paolo Bellavista, "Enabling Distributed and Hybrid Digital Twins in the Industry 5.0 Cloud Continuum" [slides]
Session 2: Maritime Applications (chair: Maurizio Palmieri)
13:00-13:30 Motoyasu Kanazawa, et al. "Co-simulation-based pre-training of a ship trajectory predictor" [slides]
13:30-14:00 Tongtong Wang, et al. , "Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation" [slides]
14:00-14:20 Break
Session 3: Automotive and Aircraft Applications & Frameworks (chair: Paolo Masci)
14:20-14:50 Ayoub Mouhagir, Maurizio Palmieri, et al. "Co-simulation of a Model Predictive Control System for Automotive Applications" [slides]
14:50-15:20 Jean-Baptiste Chaudron, et al., "Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework" [slides]
15:20-15:40 Prasad Talasila, et al., "Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twins" [slides]
15:40-15:45 Closing Remarks
Abstract. The efficient exploitation of the cloud continuum (industrial cloud, edge cloud, 5G/6G base stations, fog nodes) is a key factor for future Industry4.0 and beyond applications, e.g., for manufacturing line control and reconfiguration and for sustainability optimizations (reduction of power and materials consumption). In these contexts, privacy, data sovereignty/control, latency, reliability, and scalability are crucial. The keynote aims at offering an overview of the state-of-the-art architectures and technologies in the field, with a specific focus on how to efficiently design and implement distributed and hybrid digital twins. The presented cases of digital twins are DISTRIBUTED because they are able to run over differentiated cloud continuum virtualized resources, also by changing their location dynamically. They are also HYBRID because they combine data-driven machine learning models and simulations based on mathematical-physical modeling of the cyber-physical systems they represent.
Speaker's Biography. Paolo Bellavista received MSc and PhD degrees in computer science engineering from the University of Bologna, Italy, where he is a full professor of distributed and mobile systems. His research activities span from pervasive wireless computing to online big data processing under quality constraints, from edge cloud computing to middleware for Industry 4.0 applications. He serves on several Editorial Boards, including IEEE COMST (Associate EiC), ACM CSUR, and Elsevier JNCA and PMC. He is the scientific coordinator of the H2020 BigData project IoTwins - https://www.iotwins.eu/
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
Submission link: https://easychair.org/conferences/?conf=cosimcps2021
Important dates:
Abstract Submission: Friday 24 September 2021
Paper Submission: Friday 8 October 2021
Author Notification: Friday 5 November 2021
Camera-Ready: Friday 3 December 2021
Workshop: December 7, 2021
Springer LNCS post-proceedings will 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) eng (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
Julien Alexandre Dit Sandretto, Ensta ParisTech
Swee Balachandran, National Institute of Aerospace (NIA)
Mongi Ben Gaid, IFPEN
Jörg Brauer, Verified Systems International GmbH
Paul De Meulenaere, University of Antwerp
Andrea Domenici, University of Pisa
Aaron Dutle, NASA
Adriano Fagiolini, University of Palermo
Francesco Flammini, Linnaeus University
Ken Pierce, Newcastle University
Antonella Longo, University of Salento
Akshay Rajhans, MathWorks
Rudolf Schlatte, University of Oslo
Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse
Casper Thule, Aarhus University
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)