When software-reliant systems must deliver critical capabilities, developers face vigorous challenges.
System scale, complexity, connectivity, and operational tempo have increased at remarkable rates. Yet correctness in timing, functionality, and coordination must not be compromised, even amid limited resources and connectivity.
Our work in assuring critical system capabilities takes two main research directions:
enable the development of cyber physical systems whose behavior we trust, through Cyber-Physical and Ultra-Large-Scale Systems.
adapt new generations of mobile devices and sensors to support first responders or warfighters operating in unstable environments, through Edge-Enabled Tactical Systems. Read about related work in Advanced Mobile Systems.
Below is a representation of the Critical System Capabilities areas of research.