Visible to the public Extended Deadline: ACM/IEEE DESTION 2019 CALL FOR PAPERS AND DEMOSConflict Detection Enabled

No replies
Anonymous's picture

Extended Deadline: January 25, AOE, 2019


Design Automation for CPS and IoT (DESTION 2019)

April 15, 2019 | Montreal, Canada |

part of CPS-IoT Week 2019


Cyber-Physical Systems (CPS) and Internet-of-Things (IoT) such as autonomous vehicles, industrial robots, and medical devices, promise immense economic and societal benefits. The design and operation of CPS and IoT, however, face tremendous challenges from the fast increase of system scale and complexity, the close interaction with dynamic physical environment and human activities, the adoption of multicore and distributed architectural platforms, and the stringent and diverse requirements on performance, safety, security, fault tolerance, extensibility, energy consumption, etc. Many key processes in current CPS and IoT design practices are ad-hoc (and often manual), and have shown to be incapable of coping with such challenges. It is thus critical to have a new set of design automation methodologies, algorithms and tools for improving CPS and IoT design quality, scalability, reliability and productivity. Most importantly, these methodologies, algorithms and tools will facilitate a bold move from ad hoc CPS and IoT design towards systematic and formal techniques.

ACM/IEEE DESTION provides a premier forum for researchers and engineers from academia, industry, and government to present and discuss pressing challenges, promising solutions, and emerging applications in design automation for CPS and IoT. The conference has a broad scope covering modeling, simulation, synthesis, validation and verification tools and methods for CPS and IoT, and their applications in a variety of domains, such as automotive and transportation systems, avionics, buildings, grid, and medical devices.


Papers: All submissions must be in English. Only original papers that are not submitted or published in other conferences or journals will be considered. Manuscripts should have no more than 10 pages.

Demos: DESTION 2019 seeks high-quality demos showing design automation benchmarks, tools, and applications for CPS and IoT. A 2-page abstract in English (including references) should be submitted.

Please submit your papers and demo abstracts at The submission must be in the ACM two-column conference style, US Letter (8.5 inch x 11 inch) paper size, and 10pt text font size. All accepted papers and demo abstracts will be published in IEEE Xplore and ACM Digital Library as part of the DESTION 2019 proceedings.

Important Dates:

  • Submission deadline: January 18, AOE, 2019 Extension: January 25, AOE, 2019
  • Author notification: February 8, 2019
  • Camera-ready paper due: February 15, 2019