CoSim-CPS-19

3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems

A satellite event of SEFM2019

9:00 - 12:35, September 16, 2019, Oslo, Norway

NEWS

  • Program and accepted papers are online!
  • Invited speaker confirmed: Claudio David López
  • Notifications & camera ready instructions have been sent to the authors!
  • Date of the workshop confirmed: September 16.

INSTRUCTIONS FOR SUBMISSION

Submission link: https://easychair.org/conferences/?conf=cosimcps19

Important dates:

  • June 25, 2019: Abstraction submission
  • July 10, 2019: Paper submission
  • August 4, 2019: Notification
  • September 14, 2019: Camera-ready version deadline
  • 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

AIMS

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.

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

INVITED SPEAKER: Claudio David López (TU Delft)

"Co-simulation of smart grids: applications, challenges and outlook"

Abstract

The massive adoption of renewable energy generation has completely changed the way electrical power systems operate, from one where generation must always match consumption to one where consumption must adapt to the available generation. What made this change possible are the ICT that enable flexible consumption, storage management and distributed generation. The resulting system is the smart grid, a cyber-physical system which stands in stark contrast to its mostly physical predecessor. Classic power system simulation methods are quickly becoming insufficient to tackle the complexity and technological heterogeneity of smart grids, which has brought attention to co-simulation as an alternative. This presentation introduces different applications of co-simulation to the design, analysis and operation of smart grids, the challenges that arise, and examines the possibility of combining analog and digital computers to overcome some of these challenges.

Speaker Bio

Claudio David López received the M.Sc. degree in energy technologies from the Karlsruhe Institute of Technology, Germany, and Uppsala University, Sweden, in 2015, and the Engineering degree in electronics from the University of Concepción, Chile, in 2009. He was a Research Assistant with Fraunhofer IEE and a Consulting Engineer on energy-related projects for the public and private sectors. He is currently a Doctoral Researcher with the Intelligent Electrical Power Grids Group, Delft University of Technology, The Netherlands. His current research interests include co-simulation of energy systems.

PROGRAM

Session 1: Opening, Keynote, and Applications of Co-simulation

  • 09:00 - 09:20 Registration and Welcome to the 3rd CoSim-CPS Workshop
  • 09:20 - 10:10 Keynote (Claudio David López)
  • 10:10 - 10:40 Co-simulation and verification of a non-linear control system for cogging torque reduction in brushless motors [pdf] (Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici and Sergio Saponara)
  • 10:40 - 11:00 Challenges for Integrating Humans into Vehicular Cyber-Physical Systems [pdf] (Dr. Sulayman K. Sowe, Martin Fränzle, Jan-Patrick Osterloh, Alexander Trende, Lars Weber and Andreas Lüdtke)
  • 11:00 - 11:15 Coffee Break

Session 2: Simulators and Master Algorithms for Co-simulation

  • 11:15 - 11:35 Automatic Generation of Functional Mock-up Units from Formal Specifications [pdf] (Maurizio Palmieri and Hugo Daniel Macedo)
  • 11:35 - 12:05 Generation of Co-simulation Algorithms Subject to Simulator Contracts [pdf] (Cláudio Gomes, Casper Thule Hansen, Levi Lucio, Hans Vangheluwe and Peter Gorm Larsen)
  • 12:05 - 12:35 Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks [pdf] (Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle and Peter Gorm Larsen)
  • 12:35 - Closing Remarks and Lunch

PC Co-CHAIRS

  • Cláudio Gomes, University of Antwerp, Belgium, claudio (dot) gomes (at) uantwerpen (dot) be
  • Cinzia Bernardeschi, University of Pisa, Italy, cinzia (dot) bernardeschi (at) unipi (dot) it
  • Paolo Masci, National Institute of Aerospace (NIA), USA, paolo (dot) masci (at) nianet (dot) org
  • Peter Gorm Larsen, Aarhus University, Denmark, pgl (at) eng (dot) au (dot) dk

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)

PREVIOUS EDITIONS