CfP: DESTION 2019
CALL FOR PAPERS
The 1st Workshop on Design Automation for CPS (ACM/IEEE DESTION 2019)
April 15, 2019 | Montreal, Canada | https://cps-vo.org/group/DESTION19
part of CPS-IoT Week 2019
Overview:
Cyber-Physical Systems (CPS) such as autonomous vehicles, industrial robots, and medical devices, promise immense economic and societal benefits. The design and operation of CPS, however, face tremendous challenges from the fast increase of system scale and complexity, the close interaction with dynamic 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, energy consumption, etc. Many key processes in current CPS design practices are ad-hoc (and often manual), and have 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 CPS design quality, scalability, reliability and productivity. Most importantly, these methodologies, algorithms and tools will facilitate a bold move from ad hoc CPS design towards systematic and formal techniques.
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 emerging applications in design automation for CPS. The conference has a broad scope covering modeling, simulation, synthesis, validation and verification tools and methods for CPS, and their applications in a variety of domains, such as automotive and transportation systems, avionics, buildings, grid, medical devices, and Internet-of-Things.
Submissions:
All submissions must be in English. Only original papers that are not submitted or published in other conferences or journals will be considered. Manuscripts should have no more than 10 pages. The submissions must be in the ACM two-column conference style, US Letter (8.5 inch x 11 inch) paper size, and 10pt text font size.
Important Dates:
- Submission deadline: January 18, AOE, 2019
- Author notification: February 8, 2019
- Camera-ready paper due: February 15, 2019