Report of the Fourth International Workshop on Design Automation for Cyber-Physical Systems (DACPS) 2019.
Journal
IEEE Design & Test
Journal Volume
36
Journal Issue
6
Pages
84-85
Date Issued
2019
Author(s)
Faruque, Mohammad Abdullah Al
Abstract
Cyber-physical systems have cyber and physical parts that represent computation and physical behavior, respectively. Due to the close interactions between the cyber and physical parts, cyber-physical systems are usually complex. Thus, designing correct, safe, secure, reliable, efficient, and fault-tolerant cyber-physical systems is a challenging task that is desired to be supported by design automation techniques. In this Fourth International Workshop on Design Automation for Cyber-Physical Systems (DACPS), participants present state-of-the-art research in the domain of design automation of cyber-physical systems and aim to establish fundamental design automation techniques for cyber-physical systems. The workshop highlights three growing areas, i.e., design automation methodology, verified artificial intelligence (AI), and cross-layer security.
Type
journal article