ACM Transactions on Embedded Computing Systems
Special Issue on
The Synthesis of Cyber-Physical Systems (SCPS)

Cyber-Physical Systems (CPS) are characterized by a tight integration of computation and control with the sensing and actuation of physical components. The study of CPS has its roots in the embedded systems, real-time systems, and control research areas. These systems have a wide array of applications, including aerospace, automotive, energy, and personal health care. CPSs transform the way human beings interact with the physical world. However, research on the design and synthesis of CPS is still in its infancy. An ad-hoc design process is used for most CPS. Many CPSs must be reliable, adaptable, easy-to-use, and low-power. Although these challenges are significant for embedded systems without tight interaction with the physical world, they are amplified in CPS: many types of actuation permit no method of reversing a poor decision. Integrating special-purpose software systems with heterogeneous sensors and actuators is also challenging.

This journal special issue will cover recent progress on
scientific foundations, implementation technologies, and
system integration techniques for CPSs. More specifically,
the following topics will be considered, as well as other
topics relevant to the synthesis of cyber-physical systems.

Topics of interest include but are not limited to:
* CPS design case studies
* Specification languages for CPS
* Characterization and modeling of CPS
* Design-time optimization of CPS
* Run-time adaptation of CPS
* Testing and evaluation of CPS