posted by organizer: maurizio_palmieri || 1072 views || tracked by 3 users: [display]

CoSim-CPS 2021 : 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/cosim-cps-2021/home
 
When Dec 6, 2021 - Dec 10, 2021
Where Vritual event
Submission Deadline Sep 25, 2021
Notification Due Oct 25, 2021
Final Version Due Nov 25, 2021
Categories    simulation   formal methods   system engineering   co-simulation
 

Call For Papers

---------------------------------------------------------------------
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

---------------------------------------------------------------------

Related Resources

ACM SaT-CPS 2022   ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
TASE 2022   Theoretical Aspects of Software Engineering
CSMO 2022   2022 6th International Conference on Simulation, Modeling and Optimization (CSMO 2022)
MARS 2022   Workshop on Models for Formal Analysis of Real Systems
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ICFEM 2022   23th International Conference on Formal Engineering Methods
QAVS 2022   Third Workshop on Quantitative Aspects of Variant-rich Systems
JSA 2022   journal-of-systems-architecture
ICVARS--Ei, Scopus 2022   2022 the 6th International Conference on Virtual and Augmented Reality Simulations (ICVARS 2022)--Ei Compendex, Scopus
Embedded Systems for AI-Based Health Mon 2022   Embedded Systems for AI-Based Health Monitoring in Cyber Physical Systems