DSD 2018: CfP for Special Session on Design of Cyber-Physical Systems (DCPS)

CALL FOR PAPERS

Special Session on Design of Cyber-Physical Systems (DCPS)

in DSD 2018

Special Session Scope

Cyber-Physical Systems (CPS) are characterized by tight coupling and interaction between computation, communication and control elements (cyber part), and physical processes such as motion, heating/cooling, vibration, wear and tear (physical part). Currently, design of such systems is composed of largely isolated phases involving different disciplines (mechanical, electrical, control and software engineering). The new CPS design paradigm advocates for integrative design trajectories allowing for tradeoffs between various design domains and concerns (e.g., cost, quality, reliability, security, safety, fault-tolerance) coping with the tight coordination between the cyber and the physical components. Special session on Design of Cyber-Physical Systems (DCPS) deals with challenges associated with the new design paradigm.

Submission Guidelines

Authors are encouraged to submit their manuscripts to EasyChair. Should an unexpected web access problem be encountered, please contact the Program Chair by email ( dsd2018@easychair.org ).

Each manuscript should include the complete paper text, all illustrations, and references. 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.

Conference Publishing Services (CPS) will publish accepted papers in the conference proceedings and the proceedings will be submitted to the IEEE Xplore Digital library and indexing services. 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.

Important Dates

• Paper Submission Deadline: 1st April 2018
• Notification of Acceptance: 15th May 2018
• Camera-Ready Papers: 15th June 2018

IEEE Conference Publishing Services (CPS) will publish accepted papers in the conference proceedings and the proceedings will be submitted to the IEEE Xplore Digital library and indexing services. Extended versions of selected best papers will be published in a special issue of the ISI indexed Elsevier journal "Microprocessors and Microsystems: Embedded Hardware Design".

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

• Model-based analysis, design and synthesis of cyber-physical systems - e.g., multi-domain modeling and simulation techniques; modeling and analysis of extra-functional properties such as cost, performanceand other quality aspects; FMI/FMU compositional analysis; analog/mixed-signal modeling.
• Multi-objective optimization, system-level (co-)design approaches, trade-off analysis and design-space exploration for cyber-physical systems.
• Formal methods for cyber-physical systems - e.g., hybrid automata; verification; model checking; correct-by-construction control synthesis; abstraction and refinement.
• Reliable, and fault-tolerant design for cyber-physical systems - fault modeling; monitoring; fault detection;reliability analysis; fault-tolerant design (the focus should be on the system-level aspects rather than individual component-level).
• Safety, dependability, privacy and security in cyber-physical systems (the focus should be on the system-level aspects rather than individual component-level).
• Design, synthesis, 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).
• Design methodologies for cyber-physical systems from various domains, e.g., automotive systems, avionics, robotic systems, large-scale manufacturing and processing plants, and intelligent transportation system.
• Software, platforms and tools for cyber-physical systems.
• Submissions reporting the results obtained under the activities performed in various European Union funded projects (e.g., oCPS - ocps-itn.eu) along the above directions are highly encouraged.

Special Session Chairs

• D. Goswami (Eindhoven University of Technology, NL) - chair
• A. Hamann (Bosch, DE) - co-chair

Special Session Program Committee

• Marc Geilen (TU Eindhoven, NL)
• Subhabrata Roy (HERE, NL)
• Davide Quaglia (U Verona, IT)
• Soheil Samii (GM, USA)
• Ramesh S. (GM, USA)
• Sebastian Steinhorst (TUM, DE)
• Alejandro Masrur (TU Chemnitz, DE)
• Muhammad Shafique (TUW, AT)
• Chun Jason Xue (CUHK, HK)
• Soumyajit Dey (IITKgp, India)
• Korosh Vatanparvar (UCI, USA)
• Damoon Soudbakhsh (GMU, USA)
• Pierluigi Nuzzo (U Southern California, USA)
• Qi Zhu (UCR, USA)
• Tiziano Villa (U Verona, IT)
• Michelangelo Grosso (ST-POLITO, IT)
• Alain Pegatoquet (U Cote d'Azur, FR)
• Julien DeAntoni (U Cote d'Azur/I3S/INRIA, FR)
• Frederic Mallet (U Cote d'Azur/I3S/INRIA, FR)
• Sergiy Bogomolov (Australian N Uni, AU)

Behnam Ghavami (Shahid B. U. of Kerman, IR)