CoSim-CPS-18
2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems
A satellite event of SEFM2018
June 26, 2018, Toulouse, France
2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems
A satellite event of SEFM2018
June 26, 2018, Toulouse, France
Post-proceedings submission link: https://easychair.org/conferences/?conf=stafw18
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. Using co-simulation, 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.
The proposed workshop aims to 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 CPS. Topics of interest include, but are not limited to, the following:
"Testing autonomous robots in virtual worlds"
Autonomous robots have decisional capabilities allowing them to accomplish missions in diverse and previously unknown environments. The mission-level validation of such systems typically involves test campaigns in the field, which are costly and potentially risky in case of misbehavior. In this talk, I will discuss an alternative approach based on simulation: the robot is immersed in virtual worlds, and can be tested in a wide variety of situations without incurring damage. I will take the example of testing the autonomous navigation of outdoor robots. I will share the insights and results gained from two case studies: Mana, an academic rough-terrain robot developed at LAAS-CNRS, and Oz, an agricultural robot for autonomous weeding developed by Naïo Technologies.
Session 1: Opening & Keynote (09:05 - 10:15)
(Coffee break)
Session 2: Co-simulation algorithms & tools (11:00 - 12:30)
(Lunch)
Session 3: Co-Simulation Technology Showcase
(Coffee break)
Session 4: Late breaking work (16:00 - 17:00)