This is a $12,613,504 Cost-Plus-Fixed-Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to HRL Laboratories, LLC, a corporate research and development laboratory owned by The Boeing Company and General Motors. The contract, titled "AA-EXACT: ASSURED AUTONOMY USING EXPRESSIVE ASSURANCE CASE", is for the development of an initial prototype tool to support assured autonomy in cyber-physical systems. The contract has no set-aside designation. Key subcontractors include Carnegie Mellon University, the University of Illinois, and the University of California, San Diego, who are supporting various technical tasks such as hybrid systems modeling, runtime monitoring, and assurance metric development. This contract aligns with DARPA's mission to advance critical technologies for national security, leveraging HRL Laboratories' expertise in areas like sensors, materials, information sciences, and quantum computing.
Generated 8/16/24, 10:07 AM