The goal of High-Confidence Cyber-Physical Systems work is to enable efficient development of autonomous CPSs. To ensure that the collective behavior of  distributed elements is predictable and reliable, we must demonstrate

• scalable algorithms for functional analysis of real-time software 
• techniques for controlling effects of multicore memory access on CPS real-time behavior
• techniques for assuring distributed autonomous coordination

Accordingly, our current research includes a number of mutually reinforcing threads.

Our research in high-confidence cyber-physical systems involves developing

• new real-time scheduling theories to ensure predictable timing behavior
• new representations of the concurrency aspects of systems that account for the intimate relationship between physical and computational realms
• new techniques for ensuring predictable collaboration among autonomous agents
• new static-analysis techniques for efficiently ensuring safety assertions of concurrent system

Learn more about our High-Confidence Cyber-Physical Systems project.
Learn more about our Static Analysis of Real-Time Systems (START) project.