Belleau Labs

BAE SYSTEMS INFORMATION AND ELECTRONIC SYSTEMS INTEGRATION INC.

Department of Defense · Contract

AI-Readiness Score
5/19
AI / ML Relevance
2/9
Problem Framing
3/5
Awardee Quality
0/5

Award

$5,289,073
Award amount
Award date
N6600121C4022
PIID

Awardee

119
Total awards
$2,321,228,686
Total $ won
2.1/19
Avg AI score
View full awardee profile →

Description

PETRI NET IN ABSTRACTION OF PROGRAM ANALYSES (PINNACLE) STRATEGY UNDER DARPA ITO - VERIFIED SECURITY AND PERFORMANCE ENHANCEMENT OF LARGE LEGACY SOFTWARE (V-SPELLS) PROGRAM

Score Rationale

Award is framed around formal methods and program analysis (Petri nets, verification) with no mention of ML techniques, neural networks, or data-driven learning—this is symbolic AI / verification tooling at best. Problem framing is vague ('verified security and performance') without operational context or end-user mission articulation. BAE Systems Information and Electronic Systems Integration Inc. is a legacy defense integrator subsidiary of a Fortune 500 prime contractor, not an AI-native company.

Source

View on USAspending