ACM Transactions on Embedded Computing Systems
Special Issue on The Synthesis of Cyber-Physical Systems (SCPS)
http://acmtecs.acm.org/scps09.htm
Deadline: 20 February 2010.
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
The papers should be submitted via the Manuscript Central website and should adhere to standard ACMTECS formatting requirements. The page count limit is 25.
Timetable:
Submission deadline: extended to 20 Feb 2010
Review results: approx. 20 April 2010
Final copy deadline: approx. 20 May 2010
Please note: Disclosure of review results and the final copy deadline may differ.
Guest Editors:
Robert Dick
Dept. of Electrical Engineering and Computer Science
University of Michigan
Phone: (734) 763-3329
dickrp@eecs.umich.edu
Nikil Dutt
Dept. of Computer Science
University of California, Irvine
Phone: (949) 824-7219
dutt@uci.edu
Li Shang
Dept. of Electrical, Computer, and Energy Engineering
University of Colorado
Boulder Phone: (303) 429-8785
Li.Shang@colorado.edu