We discuss three key challenges for securing cyberphysical systems: (1) understanding the threats, and possible consequences of attacks, (2) identifying the unique properties of cyber-physical systems and their differences from traditional IT security, and (3) discussing security mechanisms applicable to cyber-physical systems. In particular, we analyze security mechanisms for: prevention, dete...

ubiquitous embedded systems employed to monitor and control physical processes: cars, airplanes, automotive highway systems, air traffic management , etc. In the past, research on embedded systems tended to focus on the design optimization problems of these computational devices. In recent years, the focus has shifted towards the complex synergy between the computational elements and the physic...

Modern three-dimensional (3D) designs, in which the active devices are placed in multiple layers using 3D integration technologies, are helping to maintain the validity of Moore’s law in today’s nano era. However, progress in commercial 3D ICs has been slow due to multiple reasons. One of them is the lack of appropriate physical design (layout) tools that take the new constraints arising from t...

This paper focuses on the challenges of modeling cyber-physical systems that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management systems (VMS), specifically the fuel management subsystem, to illustrate the challenges, and then discusses technologies that at least partially address the challenges. Spe...

Cyber-physical systems integrate cyber elements with physical elements, thereby combining the computing and physics regimes. This integration has exciting prospects as a basis for advanced systems that solve big technical, societal, economical, and ecological challenges. When designing, understanding, and analyzing these cyber-physical systems, however, we also face big integrative challenges. ...

This paper discusses the feasibility of applying evolutionary methods to automatically generating controllers for physical mobile robots. We overview the state of the art in the eld, describe some of the main approaches, discuss the key challenges, unanswered problems, and some promising directions.

Cyber physical systems(CPS) include a lot of high complexity computing such as dynamic analysis and verification of continuous dynamic property , analysis and verification of real-time property, analysis and verification of spatial property, scheduling and fault tolerance. The correctness of computing results of cyber physical systems not only meets the time requirements, but also meets the spa...

The task of 3D physical design is to map a circuit from a netlist (structural) representation into a geometric (physical) representation according to a specific 3D IC technology with multiple active device layers. This paper discusses the recent progress made on the major steps in 3D physical design, including 3D floorplanning, 3D placement, 3D routing and thermal through-silicon via (TS via) p...

With the growth of wireless networks and mobile devices, we are moving closer towards an era of cyberphysical systems (CPSs). Such systems have the potential to benefit numerous applications in areas as diverse as military, financial, and health care. However, security issues must be addressed before CPSs can be widely deployed. The problem is serious because CPSs involve interactions between a...

The design of security for cyber-physical systems must take into account several characteristics common to such systems. Among these are feedback between the cyber and physical environment, distributed management and control, uncertainty, real-time requirements, and geographic distribution. This paper discusses these characteristics and suggests a design approach that better integrates security...