Project Grant 1660186

This Project Grant from the National Science Foundation supports research into integrated verification of internet of things and real-time communication protocols. The $625,000 award to Carnegie Mellon University, running from July 1, 2022 to June 30, 2025, will fund the development of a new programming language and type system to enable verification of IoT and real-time systems consisting of communicating processes. As part of the Computer and Information Science and Engineering program, this...

This three-year, $571,846 Project Grant from the National Science Foundation's Computer and Information Science and Engineering program will support the development of new techniques to formally verify Internet of Things and real-time communication systems. The researchers at the State University of New York at Buffalo will advance session type theory to address challenges in verifying the correctness of communication protocols for distributed systems involving periodic behaviors, asynchronous...

This Project Grant from the National Science Foundation's Computer and Information Science and Engineering program, CFDA 47.070, provides $585,484 to support the development of compiler-assisted security techniques for low-cost embedded systems from June 1, 2022 to May 31, 2026. The University of Rochester will produce open-source compiler enhancements, benchmark applications, and educational materials to integrate security protections directly into compiled code for embedded devices. This...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) project grant, awarded to the Trustees of the Stevens Institute of Technology, aims to develop theory, algorithms, and prototype tools to extend the reach of auto-active verification to include security and privacy requirements specified as hyperproperties. The $387,341 project, spanning October 2024 to September 2027, has three main thrusts: 1) advancing the science...

This $482,482 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) aims to address fundamental challenges in proving the liveness properties of complex computer systems. The goal is to develop new techniques and tools that enable engineers to more effectively verify liveness, which is critical for ensuring the reliability and availability of critical systems. The project will explore a novel approach...

This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...

This Project Grant award from the National Science Foundation Division of Computer and Network Systems, under the Computer and Information Science and Engineering program (CFDA 47.070), provides $612,648 to Worcester Polytechnic Institute to develop new methods for securing embedded software. The awardee will shift security enforcement from developers to compilers using static analysis, runtime instrumentation, and hardware support. Enhancements will enable customization and promote longevity....

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award, totaling $213,679, will support the development of a compositional framework and computational tools for the design and verification of learning-enabled cyber-physical systems (CPS). The project aims to address the challenges of ensuring functional safety and robustness in CPS that rely on machine learning algorithms for situational awareness and...

This Project Grant award, provided by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to address scalability and usability challenges in hardware formal verification. The $550,000 award, with a performance period from Oct 1, 2024 to Sep 30, 2027, will be conducted by the Trustees of Princeton University. The key products and services to be delivered under this grant include: 1) developing architecture-driven...

Ranial Systems Inc. received a $248,900 Project Grant award from the National Science Foundation on November 15, 2021 to support research under the SBIR PHASE I: COGNITIVE INTELLIGENCE CAPABILITIES IN REAL-TIME EDGE COMPUTING AND DISTRIBUTED INTERNET OF THINGS (IOT) PLATFORMS project. The award is part of the National Science Foundation's Engineering program (CFDA 47.041), which seeks to improve quality of life and economic strength through engineering research and education. Specifically, the...