SUNDAY July 19, 8:00am - 5:00pm
TOPIC AREA: DESIGN, EMBEDDED SYSTEMS & SOFTWARE (ESS)
KEYWORD: IOT, AUTOMOTIVE, VERIFICATION/VALIDATION
EVENT TYPE: WORKSHOP
Workshop 2: The Fifth International Workshop on Design Automation for Cyber-Physical Systems (DACPS)
Organizers:
Chung-Wei Lin - National Taiwan Univ., Taipei, Taiwan
Xun Jiao - Villanova Univ., Villanova, PA

Cyber-Physical Systems (CPS) are characterized by the strong interactions between cyber and physical components. CPS system examples include automotive and transportation systems, avionics systems, smart home, building and community, smart battery and energy systems, robotic systems, cyber-physical biochip, wearable devices, and so on. Due to the deeply complex intertwining among different components, CPS designs pose fundamental challenges in multiple aspects such as safety, performance, security, reliability, fault tolerance, extensibility, and energy consumption. Developing innovative design automation techniques, algorithms and tools is imperative to address the unique challenges in CPS design and operation, such as the fast increase of system scale and complexity, the close interactions with dynamic physical environment and human activities, the significant uncertainties in sensor readings, the employment of distributed architectural platforms, and the tight resource and timing constraints.

This workshop will present the state-of-the-art research results on the topic of design automation for CPS/IoT systems, introduce practical challenges and promising solutions in various industry sectors, and stimulate CAD researchers to participate in the interdisciplinary CPS/IoT research.

In the morning session (until lunch), we will invite several senior researchers from academia and industry.

In the afternoon session, the presentations will be short, followed by breakout sessions and presentations of the summarized outcome from the breakout sessions. The breakout sessions will try to answer: “What is the role of Design Automation in CPS?” “What is the relation between CPS and IoT?”