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
3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems
A satellite event of SEFM2019
9:00 - 12:35, September 16, 2019, Oslo, Norway
Submission link: https://easychair.org/conferences/?conf=cosimcps19
Important dates:
Formatting instructions & page limits:
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.
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:
"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.
Session 1: Opening, Keynote, and Applications of Co-simulation
Session 2: Simulators and Master Algorithms for Co-simulation