The 2nd Workshop on Design Automation for CPS and IoT
April 21, 2020 in Sydney, Australia (part of CPS-IoT Week 2020)


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


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



Shui YU, PhD,  Professor

School of Software, University of Technology Sydney,

Sydney,  Australia.

http://www.nsp.org.au/syu <http://www.deakin.edu.au/~syu>/

    For news of CHI books, courses & software, join CHI-RESOURCES
     mailto: [log in to unmask]

    To unsubscribe from CHI-ANNOUNCEMENTS send an email to
     mailto:[log in to unmask]

    For further details of CHI lists see http://listserv.acm.org