DESTION 2023: Design Automation for CPS and IoT San Antonio, TX, United States, May 9-12, 2023 |
Conference website | https://cps-vo.org/group/DESTION2023 |
Submission link | https://easychair.org/conferences/?conf=destion2023 |
Abstract registration deadline | February 26, 2023 |
Submission deadline | February 26, 2023 |
ACM/IEEE DESTION 2023 CALL FOR PAPERS
The 5th Workshop on Design Automation for CPS and IoT
May 9, 2022, part of CPS-IoT Week 2022
https://cps-vo.org/group/DESTION23
Overview:
Cyber-Physical Systems (CPS) such as aircraft, automobiles, industrial robots, medical devices, and Internet-of-Things (IoT) applications, promise significant economic and societal benefits. The design, verification, validation, testing, and operation of such systems present several challenges induced by scale, complexity, uncertainty, and many stringent requirements on safety, performance, security, availability, and many other metrics.
There has been a drastic shift in the manner in which products are designed in the past few decades, from being predominantly mechanical and having independent components to being cyber-physical with highly interacting components. This has resulted in an explosion in the design complexity, leading to very long design cycle times. For several of the complex systems presented above the design process can last years involving several redesign loops. To circumvent this issue, the current state of practice relies on “hot-starting” a new design from a known baseline, which unfortunately limits innovation, preventing a detailed exploration of the design space. The design space, on the other hand, is significantly more complex given the interdependent nature of the multidisciplinary design problem. There have been numerous advances in the area of AI for Design Automation methods that have been shown to help in the design of these complex systems, as well as in their autonomous operations. These methods range from natural language processing for requirements engineering, physics-informed models to accelerate simulations, Bayesian methods for uncertainty quantification, probabilistic programming methods to represent designs as a handful of examples. On the other hand, as AI is integrated into a diverse variety of systems such as autonomous vehicles, energy grids, health care, IoTs, and social network platforms, the challenge of design and verification of AI-enabled systems has become extremely important. This has led to new Design Automation for AI methods of interest including network architecture exploration techniques, AI testing and verification methods, and simulation tools.
DESTION provides a premier forum for researchers and engineers from academia, industry, and government to present and discuss challenges, promising solutions, and applications in design automation for CPS and IoT. DESTION 2023 has a broad scope covering techniques and tools for modeling, simulation, synthesis, validation, and verification of CPS and IoT, with a focus on “AI for Design Automation” and “Design Automation for AI”, and their applications in a variety of domains, such as automotive and transportation systems, avionics, robotics, building architectures, grid, and medical devices.
We invite contributions in the following main topics (but not limited to):
- Machine learning in CPS/IoT
- Assurance and formal verification methodologies
- Correct-by-construction design and evolution
- Requirement engineering
- Real-time execution
- Test and evaluation
- Languages and tools for specification and design
- Architectural design
- Circuit design
- Run-time monitoring
- Benchmarks and datasets
Submissions:
Papers: All submissions must be in English. The submissions will be of two categories.
- Full technical contributions should have no more than 6 pages, excluding references and appendix. We also welcome shorter papers. Only original papers that have not been submitted or published in other conferences or journals will be considered.
- Short (recommended 1 page but not more than 2 pages) abstracts summarizing recent publications, tools, benchmarks, datasets or demos. We also welcome abstracts that summarize blue-sky ideas that would instigate thought-provoking discussions in the workshop.
Please submit your papers and abstracts at https://easychair.org/conferences/?conf=destion2023. The submission must be in the IEEE format, and authors can use the Latex template available at https://www.acm.org/publications/proceedings-template.
All accepted papers (full papers and short abstracts) will be published in ACM "CPS-IoT 2023 Workshops" proceedings.
Note on ACM requirements: By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM's new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy: https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects. Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
Important Dates:
February 26, 2022: Submission deadline
March 7, 2022: Author notification
March 15, 2022: Camera-ready due
Program Co-Chairs:
Susmit Jha (SRI International, USA)
Paulo Tabuada (University of California, Los Angeles, USA)
James Weimer (Vanderbilt University, USA)
General Chairs:
Abhishek Dubey (Vanderbilt University, USA)
Alessandro Pinto (Raytheon Technologies)