ACM/IEEE DESTION 2020
CALL FOR PAPERS AND DEMOS (deadline extended)
The 2nd Workshop on Design Automation for CPS and IoT
April 21, 2020 in Sydney, Australia (part of CPS-IoT Week 2020)
https://cps-vo.org/group/DESTION20
Overview:
Cyber-Physical Systems (CPS) such as autonomous vehicles, industrial robots, medical devices, and Internet-of-Things (IoT) applications, promise relevant economic and societal benefits. The design and operation of CPS and IoT, however, face serious challenges from the fast increase of system scale and complexity, the close interaction with 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, and energy consumption. In addition, incorporation of Learning Enabled Components (LEC) in CPS and IoT architectures is leading to new challenges in design flows that require re-thinking the fundamentals of assurance and certification. Many key engineering processes in current CPS and IoT design practices are ad-hoc (and often manual), and have been 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 the quality, scalability, reliability, and productivity of CPS and IoT design processes. Emerging research directions investigate the development of AI-based co-design tools that take advantage of machine learning and artificial intelligence technologies in design flows. The new vision is a symbiotic design automation process that fuses human ingenuity with machine intelligence.
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 applications in design automation for CPS and IoT. The workshop has a broad scope covering tools for modeling, simulation, synthesis, validation and verification of CPS and IoT, and their applications in a variety of domains, such as automotive and transportation systems, avionics, buildings, grid, and medical devices.
The program of the workshop includes a keynote, presentations of contributed and invited papers, demonstrations, and posters. The keynote speaker is Dr. Sandeep Neema, DARPA. The title of his talk is Symbiotic Design of Cyber-Physical Systems.
We invite contributions in the following main topics:
- Model and tool integration methodologies
- Design space construction and exploration
- Generative design approaches
- Mining design repositories and design analytics
- Human-machine symbiosis in design phases
- Benchmark proposals for tool comparisons
Submissions:
Papers: All submissions must be in English. Only original papers that have not been submitted or published in other conferences or journals will be considered. Manuscripts should have no more than 10 pages. Shorter position papers are welcome.
Demos: DESTION 2020 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 https://destion20.hotcrp.com/. 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 2020 proceedings.
Important Dates:
- January 27 AoE, 2020: Submission deadline
- February 10, 2020: Author notification
- February 14, 2020: Camera-ready due