University of Vigo
The recent integration of embedded real-time systems with large collections of sensors and actuators in hostile physical environments, called cyber-physical systems, is posing many new and challenging problems to the computer science community. Most research directions in the context of cyber-physical systems have focused on developing computing foundations for designing, analyzing, and reasoning about systems being constructed from scratch. However, an equally important issue is to develop sound methods for transforming existing real-time embedded systems to ones that conform to standards of modern cyber-physical systems. This paper proposes several research directions for achieving such transformation techniques.