Providing End-to-End Guarantees in Cyber-Physical Systems

Cyber-physical systems are integrations of computation, communication and control with physical processes/entities. They may be viewed as a networked system of embedded systems that must work together in a safe, efficient, reliable, predictable and timely manner to monitor and control physical entities. In recent times, embedded systems have become ubiquitous and a significant amount of research has been and is being conducted to make a single embedded system safe, efficient and reliable. However, cyber-physical systems take this one step further and integrate multiple, potentially diverse, embedded systems with physical entities, thus exacerbating some of the challenges faced by real-time/embedded systems designers and introducing several new ones.