SAM #DARPA-SN-27-17

DARPA FLASH RFI on Formal Learning and Heterogeneous Systems

DARPA’s Information Processing Techniques Office is seeking research input through its FLASH RFI. - Purpose: Gather information on Formal Learning and Abstractions for System Heterogeneity (FLASH). - Areas of interest: National-security applications that may benefit from heterogeneous engineering, especially improved robustness and other operational properties. - Technical focus: Methods to automatically synthesize and understand high-assurance cyber-physical systems from formal specifications. - Opportunity type: Information-gathering notice; it does not identify a specific purchase, contract, vendor, or required deliverable.

Description

The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on research related to Formal Learning and Abstractions for System Heterogeneity (FLASH). Specifically, this RFI seeks information on (i) national-security applications that could benefit in terms of robustness and other operational properties resulting from heterogeneous engineering solutions; and (ii) potential techniques, informed by current research and practice, for the automated synthesis and understanding of high-assurance cyber-physical engineering systems from formal specifications.

View original listing