COVID-19 UPDATE: given the situation with the COVID-19 pandemic, the workshop is moving to an entirely digital format. Please check the CPS-IoT Week website for more information.
Design Automation for CPS and IoT (DESTION 2020)
Co-located with IEEE/ACM CPS-IoT WEEK 2020 | April 21, 2020 in Sydney, Australia
DESTION 2020 will take place on April 21, 2020 on the first day of the CPS-IoT Week events. 
The target audience of DESTION 2020 is researchers and practitioners of CPS design methodologies, experts from the tool industry, and end-users from systems companies engaged in CPS and IoT development. The Workshop is tool-oriented with primary emphasis on discussing and demonstrating new design tool concepts and implementations.
Important Dates
January 27 AoE, 2020: Submission deadline
February 10, 2020: Author notification
February 14, 2020: Camera-ready due
March 15, 2020: Workshop program finalized
April 21, 2020: Workshop day
Goals
Complexity and heterogeneity of CPS and IoT applications, the rapidly growing incorporation of AI and ML techniques in CPS and IoT systems and their design flows create challenges and opportunities for fundamentally new design automation architectures. There is a need for unique modeling, analysis, simulation, and synthesis tools and efficient methods for rapid, inexpensive, and semantically precise configuration of focused design tool chains. The central goal of this workshop is to discuss new advancements and offer comparative analysis of variability among design automation tool suites in a wide range of application domains.
About DESTION
The relentless growth of complexity and heterogeneity of CPS and IoT systems imposes major challenges and offers new opportunities for design automation methods and tools. Intrinsic heterogeneity—the large span in size from small CPS appliances to societal-scale systems—enabled by IoT devices and the complex interaction among computational, physical, and human components makes the development of design automation tools necessary but very difficult. One hard challenge in automating heterogeneous CPS and IoT design flows is that they crosscut several discipline-oriented design verticals. Their integration requires new co-design methods, horizontal integration platforms for domain-specific models and tools, and the incorporation of data analytics tools for advancing the fusion of model- and data-driven design methodologies.
In addition, incorporation of Learning Enabled Components (LEC) in CPS and IoT architectures leads to new challenges in design flows that require re-thinking the fundamentals of assurance and certification. This trend drives the need for tighter integration of design-time methods and tools into operation. In the new generation of evolving, self-adaptive CPS and IoT, critical system properties must be ensured at design time as well as at run time.
These challenges are complemented by new opportunities offered by the incorporation of AI-based co-design tools in design flows. Formal modeling, synthesis, and verification tools are extended with methods for adaptive exploration of design spaces, discovering useful patterns in system architectures, and auto-generating details based on learned design rules.