5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
CoSim-CPS 2021
- URL: https://sites.google.com/view/cosim-cps-2021/home
- Event Date: 2021-12-06 ~ 2021-12-10
- Submission Date: 2021-09-25
CfP: CoSim-CPS, 5th Workshop on Formal Co-Simulation of Cyber-Physical
Systems
A satellite event of SEFM 2021, December 6-10, 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: September 25, 2021
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: TBA
IMPORTANT DATES
* Abstract Submission (Optional): September 15, 2021
* Paper Submission: September 25, 2021
* Author Notification: October 25, 2021
* Camera-Ready: November 25, 2021
* Workshop: December 6-10, 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,
Systems
A satellite event of SEFM 2021, December 6-10, 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: September 25, 2021
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: TBA
IMPORTANT DATES
* Abstract Submission (Optional): September 15, 2021
* Paper Submission: September 25, 2021
* Author Notification: October 25, 2021
* Camera-Ready: November 25, 2021
* Workshop: December 6-10, 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,
Journal Promotion
|
| Acta Koreana (Acta Koreana) |
|
| Acta Via Serica (AVS) |
|
| Computers and Concrete (CAC) |
|
| Journal of Information Processing Systems (JIPS) |
|
| Journal of Internet Computing and Services (KSII - JICS) |
|
| Journal of Smart Tourism (Smart Tourism) |
|
| Membrane and Water Treatment (MWT) |
|
| Wind and Structures, An International Journal (Wind and Structures) |
MANUSCRIPTLINK © 2015 -
