SIFT Awarded $1.6M Contract to Research Probabilistic Verification
SIFT along with teammates Carnegie Mellon University and the University of Oxford, have been awarded a one year, $1.6M DARPA contract to work on probabilistic verification of system designs, under the META program. This program is sponsored by DARPA. From the DARPA website:
The ultimate goal of the META program is to make a dramatic improvement on the existing systems engineering, integration, and testing process for defense systems... it aims to develop model-based design methods for cyber-physical systems far more complex and heterogeneous than those to which such methods are applied today; to combine these methods with a rigorous deployment of hierarchical abstractions throughout the system architecture; to optimize system design with respect to an observable, quantitative measure of complexity for the entire cyber-physical systems; and to apply probabilistic formal methods to the system verification problem, thereby dramatically reducing the need for expensive real-world testing and design iteration.
Distribution Statement A, Approved for Public Release, Distribution Unlimited