CoSim-CPS-18

2nd Workshop on Formal Co-Simulation of Cyber-Physical Systems

A satellite event of SEFM2018

June 26, 2018, Toulouse, France

WORKSHOP VENUE

ENSEEIHT IRIT – Computer Science Laboratory, 2 rue Charles Camichel, 31071 Toulouse (see instruction on how to get to the workshop venue, and public transportation map)

Workshop Room: B-105 (download map)

Note: ENSEEIHT has recently been equiped with safer entrance. You need to have a registered electronic card to enter the facilities. At the registration desk you will receive a registered card together with the conference/workshop package. Each morning from 8h00 to 9h30, you can enter freely ENSEEIHT using the main entrance, rue Riquet, bâtiment C. The registration desk will be in the hall of the C building waiting for you to provide the conference/workshop package. If you arrive later, you can enter through the auxiliairy entrance, rue Camichel, bâtiment A (you will need to ring at the door).

NEWS

  • Pre-proceedings are now available (see PDFs in the program below)
  • The detailed workshop program is now available!
  • This year's edition will include a session of live demos with co-simulation technologies!
  • We are pleased to announce this year's keynote talk: "Testing autonomous robots in virtual worlds", given by Helene Waeselynck (LAAS-CNRS)
  • Extended versions of papers accepted to CoSim-CPS will be invited to contribute to a special issue on Software and System Modeling

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. 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. 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

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:

  • 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
  • Modeling and analysis of human-machine interfaces in cyber-physical systems
  • Modeling and analysis of security aspects of cyber-physical systems
  • Next-Generation cyber-physical systems

INVITED SPEAKER: Helene Waeselynck (LAAS-CNRS)

"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.

PROGRAM

Session 1: Opening & Keynote (09:05 - 10:15)

  • 09:05 - 09:15 Welcome to the CoSim-CPS workshop
  • 09:15 - 10:15 Keynote: Testing autonomous robots in virtual worlds (Helen Waeselynck)

(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)



IMPORTANT DATES

  • Abstract submission: April 16
  • Paper submission: April 27
  • Notification: May 16
  • Camera ready: June 10
  • Workshop: June 26

SUBMISSION GUIDELINES & PROCEEDINGS

Papers can be submitted through Easychair, using the following link: https://easychair.org/conferences/?conf=cosimcps18

Authors are invited to submit the following types of contributions:

  • full papers (up to 15 pages LNCS format, including references)
  • short/work-in-progress-papers (up to 6 pages LNCS format, including references)

Papers must describe original contributions whose main results and conclusions have not been published or submitted elsewhere. All papers will be peer-reviewed by at least two members of the program committee.

PC Co-CHAIRS

  • Cinzia Bernardeschi, University of Pisa, Italy, cinzia (dot) bernardeschi (at) iet (dot) unipi (dot) it
  • Paolo Masci, INESC TEC and Universidade do Minho, Portugal, paolo (dot) masci (at) inesctec (dot) pt
  • Peter Gorm Larsen, Aarhus University, Denmark, pgl (at) eng (dot) au (dot) dk

PROGRAM COMMITTEE

  • Giovanna Broccia, University of Pisa
  • José Creissac Campos, INESC TEC & Universidade do Minho
  • Paul Curzon, Queen Mary University of London
  • Fabio Cremona, United Technologies Research Center
  • Andrea Domenici, University of Pisa
  • Adriano Fagiolini, University of Palermo
  • Leo Freitas, Newcastle University
  • Claudio Gomes, University of Antwerp
  • Maurizio Palmieri, University of Pisa
  • Mario Porrmann, Bielefeld University
  • Akshay Rajhans, MathWorks
  • Matteo Rossi, Politecnico di Milano
  • Neeraj Singh, INPT-ENSEEIHT / IRIT, University of Toulouse
  • Marjan Sirjani, Malardalen University & Reykjavik University
  • Frank Zeyda, University of York
  • Yi Zhang, Center for Devices and Radiological Health, US Food and Drug Administration (CDRH/FDA)
  • Mo Zhao, MathWorks

PREVIOUS EDITIONS