New contract for study of formal verification techniques to mathematically guarantee safety in next generation positive train control (PTC) systems.

Ended Definitive Contract Awarded Last action

Contract number
693JJ620C000025
Awardee
Awarding agency
Obligated
$662,936

Award facts

Opportunity
Contract value 100% obligated
$662,935.93 Current and potential, with all options
Completion date 100% complete
  • Current, with exercised options
  • Potential, with all options
Contracting staff
Set-aside
No set-aside
Competition
Full and Open Competition · 43 offers Basic Research
Pricing
Firm Fixed Price
Place of performance
Pittsburgh, PA 15213, USA

Award details come from SAM.gov/FPDS.

Transactions

Action Obligated Date
Close Out P00003 · Closeout -$9,950
Other Administrative Action P00002 $0
Other Administrative Action P00001 · This administrative modification corrects the duns. Also, this modification incorporates clause 52.223-99 ensuring adequate covid-19 safety protocols for… $0
Original award $672,886

About this award

The Federal Railroad Administration awarded a $662,935.93 definitive contract to Carnegie Mellon University's Software Engineering Institute for formal verification research on positive train control systems on September 9, 2020, closed on July 31, 2026.

The originating solicitation was a Broad Agency Announcement published September 25, 2019, seeking applied technology research proposals to advance rail safety priorities including positive train control technologies, grade crossing safety, and rolling stock defect detection. The BAA contemplated multiple awards totaling approximately $2 million, with individual awards capped at $500,000 and project durations of one to three years. Selection criteria included responsiveness to priorities, technical merit, cost realism, and offeror experience.

Place of performance is Pittsburgh, PA 15213. The contract operated on a firm fixed price basis with no set-aside.

Service Contract Inventory reporting shows labor activity across three fiscal years: FY2021 invoiced $167 thousand (1.2 FTEs, 2,450 contractor hours); FY2022 invoiced $148 thousand (0.5 FTEs, 1,052 contractor hours); and FY2023 invoiced $541 thousand (1.4 FTEs, 2,936 contractor hours). Derived government-paid hourly rates rose from $68.18 per hour in FY2021 to $184.45 per hour in FY2023. Carnegie Mellon self-performed all reported hours without subcontractor engagement.

Quick answers

Who was awarded contract 693JJ620C000025?

693JJ620C000025 was awarded to Carnegie Mellon University by Federal Railroad Administration (Department of Transportation) on September 9, 2020.

How much is contract 693JJ620C000025 worth?

The government has obligated $662,936 on 693JJ620C000025.

Was contract 693JJ620C000025 competed?

The extent of competition for 693JJ620C000025 was full and open competition. The government received 43 offers.

On GovTribe

See this award's full record

  • Every transaction and funding action
  • The awardee's other awards and teaming partners
  • Similar awards and recompete opportunities
  • Ask GovTribe AI about this award