Project Grant 2616467

The National Science Foundation Division of Information and Intelligent Systems awarded Portland State 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 computer systems and sensors.

The project establishes scientific foundations for information flow verification in complex vehicular systems across three integrated research thrusts. The first thrust will create 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 will develop 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 will evaluate these methods through a progression from synthetic benchmarks to realistic case studies. The research will generate publicly available datasets, benchmarks, formal specifications, and software tools to establish new foundations for automated verification of large-scale cyber-physical systems.

Performance runs from October 1, 2026, through September 30, 2030, at Portland State University in Portland, Oregon. The assistance type is a Project Grant.