Design Automation for CPS and IoT (DESTION 2019)
DESTION 2019
Design Automation for CPS and IoT (DESTION 2019)
Colocated with IEEE/ACM CPS-IoT WEEK 2019 | April 15, 2019 in Montreal, Canada
DESTION will take place on April 15, 2019 on the first day of the CPS-IoT Week events. Please check the workshop program.
Target audience of DESTION are researchers and practitioners of CPS design methodologies, experts from the tool industry and end-users from systems companies engaged in CPS development. The Workshop is tool oriented with primary emphasis on discussing and demonstrating new design tool concepts and implementations.
Registration
For workshop registration, please go to the CPS-IoT Week 2019 registration page, and select DESTION in the reigstration process.
Goals
Besides fundamentally new design automation architectures, CPS and IoT application domains require unique modeling, analysis, simulation and synthesis tool components 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.
Important Dates
- Submission deadline:
January 18, AOE, 2019Extended Deadline: January 25, AOE, 2019 - Author notification: February 8, 2019
- Camera-ready paper due: February 15, 2019
- Workshop program finalized: March 15
- Workshop Day: April 15
About DESTION
The relentless growth of complexity and heterogeneity of CPS and IoT systems imposes major challenges on 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 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. The upcoming wave of autonomous systems incorporating learning-enabled components drives the need for a tighter integration of design-time methods and tools into operation. In the new generation of evolving, self-adaptive CPS, critical system properties must be ensured at design time as well as at run time. Formal modeling, synthesis, and verification tools are then needed that can provide both design-time and operation-time evidence for calculating assurance levels.