Call for Papers
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 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, 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 physical components, 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 ACM TECS formatting
requirements.
The page count limit is 25.
Timetable:
| Submission deadline: | Dec 31, 2009 |
| Review results: | approx. Feb 28, 2010 |
| Final copy deadline: | approx. Mar 31, 2010 |
Please note: disclosure of review results and the final copy deadline may differr.
Guest Editor(s):
- Robert Dick, Dept. of Electrical Engineering and Computer Science, University of Michigan Phone: (734) 763-3329, Email
- Nikil Dutt, Dept. of Computer Science, University of California, Irvine Phone: (949) 824-7219, Email
- Li Shang, Dept. of Electrical, Computer, and Energy Engineering, University of Colorado, Boulder Phone: (303) 429-8785, Email
Timetable:
| Submission deadline: | Dec 31, 2009 |
| Review results: | approx. Feb 28, 2010 |
| Final copy deadline: | approx. Mar 31, 2010 |
Please note: disclosure of review results and the final copy deadline may differ.
Submission:
NOTE!!!
On the first page and in the field "Author's Cover Letter" indicate:
"Submitted to SCPS Special Issue"
Without indication, your submission cannot be considered for the special issue!
Page limit: The page limit is fixed to 25 pages.
Guest Editor:
Robert Dick, University of Michigan
Nikil Dutt, University of California
Li Shang, University of Colorado