Design Automation for Cyber-Physical Systems [Scanning the Issue]

Cyber-physical systems (CPSs) are characterized by the seamless integration and close interaction of cyber components (e.g., sensors, computation nodes, communication networks) and physical processes (e.g., mechanical devices, physical environment, humans). The cyber components monitor, analyze, and control the physical processes, and react to their changes through feedback loops. A classic example of CPSs is autonomous vehicles. These vehicles collect information of the surrounding physical environment via heterogeneous sensors such as cameras, radar, and LIDAR; process and analyze the multi-modal information at real time with advanced computing devices such as GPUs, application-specific SoCs and multicore CPUs; automatically make planning and control decisions; and continuously actuate the corresponding mechanical components. The cyber components of autonomous vehicles are much more intelligent and complex than those of traditional vehicles, and interact more directly and closely with the physical environment.

[1]  Wolfram Schulte,et al.  FORMULA 2.0: A Language for Formal Specifications , 2013, ICTAC Training School on Software Engineering.

[2]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[3]  James Davis,et al.  GME: the generic modeling environment , 2003, OOPSLA '03.

[4]  Gabor Karsai,et al.  Constraint-Based Design-Space Exploration and Model Synthesis , 2003, EMSOFT.

[5]  Sandeep Neema,et al.  Detc 2012-71378 towards Automated Evaluation of Vehicle Dynamics in System-level Designs , 2012 .

[6]  Roberto Passerone,et al.  Platform-Based Design and Frameworks: METROPOLIS andMETRO II , 2018, Model-Based Design for Embedded Systems.

[7]  Edward A. Lee,et al.  Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).