Extended deadline for DSD2016 SPECIAL SESSION ON DESIGN OF CYBER-PHYSICAL SYSTEMS

19th Euromicro Conference on Digital System Design

Limassol, Cyprus | Aug. 31st - Sept. 2nd, 2016

SPECIAL SESSION ON DESIGN OF CYBER-PHYSICAL SYSTEMS

Important Dates

• EXTENDED Deadline for paper submission: April 24th
• Notification of acceptance: May 30th Camera ready papers: June 27th

Special Session Scope

Next-generation digital systems will be ever more tightly coupled with a non-digital world which is either a part of the overall information processing system (e.g., sensors, actuators, analog electronics, MEMS, power sources, thermal sources) or a part of the system being sensed, supervised or controlled. The so-called cyber-physical system (CPS) approach is needed. It raises challenges to address the heterogeneity in hybrid system design, and the integration of different design disciplines. The goal of CPS research is also to support better design of the CPS's digital parts.

Topics of interest include, but are not limited to, the following:

• Multi-objective optimization, system design, co-design and design-space exploration for cyber-physical systems.
• Modeling, simulation and verification of cyber-physical systems (e.g., multi-domain simulation techniques, compositional analysis, analog/mixed-signal modeling, modeling and simulation of extra-functional properties, test and debug).
• Formal methods for CPS (e.g., hybrid automata, verification, model checking, correct-by-construction control synthesis, abstraction and refinement).
• Manufacturing of smart cyber-physical systems: new paradigms, platforms, tools.
• Safety, dependability, privacy and security in cyber-physical systems.
• Human-centric cyber-physical systems.
• Design, simulation and verification of distributed, networked, intelligent embedded systems (e.g., IoT, sensor networks, intelligent information gathering, machine learning, supervisory control systems, predictive maintenance, energy harvesting and management, HW design for wireless protocols).
• Applications of cyber-physical systems in manufacturing, transportation (e.g. aviation, automotive, traffic control, logistics), building automation, smart energy provisioning and storage, environmental monitoring, lab-on-a-chip, robotics, etc.

Submission Guidelines

Authors are encouraged to submit their manuscripts to https://easychair.org/conferences/?conf=dsd2016.
Should an unexpected web access problem be encountered, please contact the Program Chair by email (dsd2016@easychair.org).

Each manuscript should include the complete paper text, all illustrations, and references. Keywords should be selected from the call topics whenever applicable. The manuscript should conform to the IEEE format: single-spaced, double column, US letter page size, 10-point size Times Roman font, up to 8 pages. In order to conduct a blind review, no indication of the authors' names should appear in the manuscript, references included.
CPS, Conference Publishing Services, publishes the (ISI indexed) DSD Proceedings, available worldwide through the IEEE Xplore Digital Library. Extended versions of selected best papers will be published in a special issue of the ISI indexed "Microprocessors and Microsystems: Embedded Hardware Design" Elsevier journal.