3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems
CoSim-CPS 2019
- URL: https://sites.google.com/view/cosimcps19
- Event Date: 2019-09-16 ~ 2019-09-17
- Abstract Submission Date: 2019-06-25
- Submission Date: 2019-07-01
- Location: Oslo, Norway
# CoSim-CPS-19: 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems
**Oslo, Norway, September 16-17, 2019**
## Overview
**Conference website:** https://sites.google.com/view/cosimcps19
**Submission link:** https://easychair.org/conferences/?conf=cosimcps19
**Abstract registration deadline:** June 25, 2019
**Submission deadline**: July 1, 2019
**Topics:** formal methods, co simulation, safety, modelling.
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.
## Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference.
The most up-to-date submission instructions are available at the workshop website: https://sites.google.com/view/cosimcps19
Important dates:
* June 25, 2019: Abstraction submission (optional)
* July 1, 2019: Paper submission
* July 31, 2019: Notification
* August 20, 2019: Camera ready submission
* Springer LNCS post-proceedings will be published after the workshop.
Formatting instructions & page limits:
* Full papers: up to 15 pages LNCS format, excluding references
* Short papers & demos: up to 6 pages LNCS format, including references
## List of Topics
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
## Committees
### Program Committee
* Adriano Fagiolini, University of Palermo
* Akshay Rajhans, MathWorks
* Andrea Domenici, University of Pisa
* Fabio Cremona
* Frank Zeyda, University of York
* Giovanna Broccia, University of Pisa
* Hans Vangheluwe, University of Antwerp
* Jean-Philippe Tavella, Électricité de France
* Joachim Denil, University of Antwerp
* Jörg Brauer, Verified Systems International GmbH
* Julien DeAntoni, INRIA
* Leo Freitas, Newcastle University
* Marco Di Natale, Scuola Superiore Sant'Anna
* Mario Porrmann, Osnabrueck University
* Marjan Sirjani, Malardalen University & Reykjavik University
* Maurizio Palmieri, University of Florence and University of Pisa
* Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse
* Paul De Meulenaere, University of Antwerp
* Paul Curzon, Queen Mary University of London
* Stylianos Basagiannis, United Technologies Research Centre
* Yi Zhang, Center for Devices and Radiological Health, US Food and Drug Administration (CDRH/FDA)
### Organizing committee
* Cláudio Gomes, University of Antwerp, Belgium, claudio.gomes@uantwerp.be
* Cinzia Bernardeschi, University of Pisa, Italy, cinzia.bernardeschi@unipi.it
* Paolo Masci, National Institute of Aerospace (NIA), USA, paolo.masci@nianet.org
* Peter Gorm Larsen, Aarhus University, Denmark, pgl@eng.au.dk
## Contact
All questions about submissions should be emailed to claudio.gomes@uantwerp.be
**Oslo, Norway, September 16-17, 2019**
## Overview
**Conference website:** https://sites.google.com/view/cosimcps19
**Submission link:** https://easychair.org/conferences/?conf=cosimcps19
**Abstract registration deadline:** June 25, 2019
**Submission deadline**: July 1, 2019
**Topics:** formal methods, co simulation, safety, modelling.
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.
## Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference.
The most up-to-date submission instructions are available at the workshop website: https://sites.google.com/view/cosimcps19
Important dates:
* June 25, 2019: Abstraction submission (optional)
* July 1, 2019: Paper submission
* July 31, 2019: Notification
* August 20, 2019: Camera ready submission
* Springer LNCS post-proceedings will be published after the workshop.
Formatting instructions & page limits:
* Full papers: up to 15 pages LNCS format, excluding references
* Short papers & demos: up to 6 pages LNCS format, including references
## List of Topics
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
## Committees
### Program Committee
* Adriano Fagiolini, University of Palermo
* Akshay Rajhans, MathWorks
* Andrea Domenici, University of Pisa
* Fabio Cremona
* Frank Zeyda, University of York
* Giovanna Broccia, University of Pisa
* Hans Vangheluwe, University of Antwerp
* Jean-Philippe Tavella, Électricité de France
* Joachim Denil, University of Antwerp
* Jörg Brauer, Verified Systems International GmbH
* Julien DeAntoni, INRIA
* Leo Freitas, Newcastle University
* Marco Di Natale, Scuola Superiore Sant'Anna
* Mario Porrmann, Osnabrueck University
* Marjan Sirjani, Malardalen University & Reykjavik University
* Maurizio Palmieri, University of Florence and University of Pisa
* Neeraj Singh, INPT-ENSEEIHT / IRIT and University of Toulouse
* Paul De Meulenaere, University of Antwerp
* Paul Curzon, Queen Mary University of London
* Stylianos Basagiannis, United Technologies Research Centre
* Yi Zhang, Center for Devices and Radiological Health, US Food and Drug Administration (CDRH/FDA)
### Organizing committee
* Cláudio Gomes, University of Antwerp, Belgium, claudio.gomes@uantwerp.be
* Cinzia Bernardeschi, University of Pisa, Italy, cinzia.bernardeschi@unipi.it
* Paolo Masci, National Institute of Aerospace (NIA), USA, paolo.masci@nianet.org
* Peter Gorm Larsen, Aarhus University, Denmark, pgl@eng.au.dk
## Contact
All questions about submissions should be emailed to claudio.gomes@uantwerp.be
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 -
