This thrust addresses the design of reliable, scalable, and adaptive distributed systems for both cloud-scale and embedded environments. Research includes real-time systems, middleware for edge/cloud computing, cyber-physical system security, and verification for safety-critical applications such as autonomous systems and flight control. Representative topics include:

• Parallel and distributed computing
• Edge and cloud computing
• Middleware and adaptive systems
• Cyber-physical systems (CPS)
• Real-time and exascale systems
• Safety, verification, and sensor fusion