Project Grant 2616468

The National Science Foundation Division of Information and Intelligent Systems awarded Clemson University $300,000 on October 1, 2026, under the Computer and Information Science and Engineering program (CFDA 47.070) to develop technologies for identifying, monitoring, and verifying information flows among vehicular components in connected and autonomous vehicles.

The project will establish a scientific foundation for information flow verification in complex vehicular systems through three integrated research thrusts. The first thrust creates a configurable digital twin platform that combines physical vehicle dynamics with customizable hardware, software, sensing, and communication components to explore realistic operating scenarios and automatically extract information flow requirements. The second thrust develops scalable verification methods combining formal verification, compositional reasoning, abstraction refinement, reinforcement learning, and large language models to analyze system-level information flows. The third thrust evaluates these methods through a progression from synthetic benchmarks to realistic case studies. The project will generate publicly available datasets, benchmarks, formal specifications, and software tools to advance automated verification of large-scale cyber-physical systems.

Clemson University's Division of Research serves as the recipient, with performance based in Clemson, South Carolina. The award obligates $300,000 with a period of performance from October 1, 2026, through September 30, 2030.