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 Functional Verification projects.
Learn more about our Timing Verification projects.
Learn more about our Probabilistic Verification project.