Call for Papers & Demos

Visible to the public 


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.

Important Dates:

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