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.