Motivation and scope

Cyber-Physical Systems are complex systems where software and physical components interacts through sensors and actuators in sophisticated manners in order to provide efficient services that could not be built in other manners. These systems are involved in a wide range of application domains like transportation, health, smart grids, sensor networks, internet of things, robotics, autonomous systems and many others. They usually contain safety critical parts and thus requires more advanced modelling and assessment techniques. Their development frequently involves many different engineering domains that all have their modeling methods and tools. The assessment of the whole system is thus much more complicated as it must bridge all these domains in order to gather all the required data. All the more, as these systems connect the software and physical worlds, they usually involve discrete and continuous behaviors whose interaction requires sophisticated modeling techniques.

The purpose of this workshop, Models and Data Engineering for Cyber Physical Systems, is to gather researchers involved in the modeling and assessment of such systems in order to exchange best practises in modeling, validation and verification. A strong focus will be given on the heterogeneity of models to grasp all the aspects of these systems and the specific constraints for their assessments.

The Workshop will be held in Toulouse, France, on October 28th, 2019, and it is co-located with the 9th International Conference on Model & Data Engineering MEDI 2019.


Topics

Specific topics include, but are not limited to:

  • Rigorous methods for hybrid and cyber-physical systems
  • Modeling and simulation languages for hybrid and cyber-physical systems
  • Models of computation for hybrid and cyber-physical systems
  • Model-based engineering for hybrid and cyber-physical systems
  • Verification and reachability analysis for hybrid and cyber-physical systems
  • Validation abd testing of hybrid and cyber-physical systems
  • Case studies and applications of hybrid and cyber-physical systems
  • Development of industrial cyber-physical systems in domains such as smart mobility, medical and healthcare devices, smart-home, future-generation networks, Internet-of-Things
  • Evaluation of novel research tools for hybrid and cyber-physical systems
  • Comparisons of state of the art tools in industrial practice for hybrid and cyber-physical systems


Intended Audience

Researchers, educators, practitioners, tool developers and users, and technology transfer experts are all welcome.


Submissions

Workshop papers must be written in English and prepared following the Springer’s Communications in Computer and Information Science (CCIS) format. Submitted papers will be carefully evaluated by at least three reviewers. All accepted papers will be published in Communications in Computer and Information Science (CCIS) by Springer.

We solicit the following contribution types:

  • Full papers about original research and/or case studies (15 pages max, Springer LNCS format).
  • Short papers (up to 8 pages, Springer LNCS format) describing: new ideas/work-in-progress, or techniques and/or newly-developed tools or extensions not fully validated yet, or an industry paper reporting on work or experiences.

Submission Easychair site: https://easychair.org/conferences/?conf=cpsmedi2019

For each accepted paper, at least one of the authors is expected to be present at the workshop and present the paper.

All accepted papers will be published in the MEDI 2019 Companion Proceedings by Springer LNCS.

Best selected papers from CPS@MEDI 2019 will be considered for a journal special issue (TBA).


Important Dates

  • Abstract submission: June 8th, 2019 June 30th, 2019
  • Paper submission: JJune 15th, 2019 July 7th, 2019
  • Author notification: July 22nd, 2019
  • Camera-ready version: August 16th, 2019
  • Workshop date: October 28th, 2019