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

  • techniques for developing architecture and middleware to support user-directed groups of autonomous sensors and systems

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 Functional Verification projects.

Learn more about our Timing Verification projects.

Learn more about our Probabilistic Verification project.

Learn more about our Collaborative Autonomy project.

Learn more about our Self-Adaptation project.