———————————————————————
CfP: CoSim-CPS, 5th Workshop on Formal Co-Simulation of Cyber-Physical
Systems
A satellite event of SEFM 2021, December 7, 2021, Amsterdam,
The Netherlands
An entirely virtual event because of the COVID-19 pandemic.
Submission of papers and paper selection process are as planned.
Organisation of the workshop will follow the rules of the main
conference.
Submission due: Friday 24 September 2021 (EXTENDED to Friday 8 October)
Submission link: https://easychair.org/conferences/?conf=cosimcps2021
Website: https://sites.google.com/view/cosim-cps-2021/home
Categories: Simulation, formal methods, modeling, systems engineering
and co-simulation
———————————————————————
CoSim-CPS is a workshop on the integrated application of formal
methods and co-simulation technologies in the development of
software for Cyber-Physical Systems.
Topics of interest include, but are not limited to:
– 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 GUIDELINES & PROCEEDINGS:
* Papers will be reviewed by at least 3 PC members.
* Proceedings will be published in Springer’s Lecture Notes in Computer Science series.
IMPORTANT DATES
* Abstract Submission (Optional): Friday 24 September 2021
* Paper Submission: Friday 1 October 2021 (EXTENDED to Friday 8 October)
* Author Notification: Friday 5 November 2021
* Camera-Ready: Friday 3 December 2021
* Workshop: 7 December, 2021
PC CO-CHAIRS
– Cinzia Bernardeschi, University of Pisa, Italy
– Claudio Gomes, Aarhus University, Denmark
– Maurizio Palmieri, University of Pisa, Italy
– Paolo Masci, National Institute of Aerospace (NIA), USA
Program Committee
– 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 Hansen, Aarhus University
———————————————————————