693JJ620C000025

NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERATION POSITIVE TRAIN CONTROL (PTC) SYSTEMS.

Award details

Obligations, current value and potential value describe different measures; they are never added together.

Field	Reported value
Agency	Department of Transportation
Office	693JJ6 FEDERAL RAILROAD ADMIN
NAICS	541715 — Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
PSC	AS31 — TRANSPORTATION R&D SERVICES; WATER TRANSPORTATION; BASIC RESEARCH
Parent award / vehicle	Not reported
Set-aside	NO SET ASIDE USED.
Pricing type	FIRM FIXED PRICE
Obligations	$662.9K
Current contract value	$662.9K
Potential contract value / ceiling	$662.9K
Start date	Sep 9, 2020
Current end date	Jan 31, 2024
Potential end date	Jul 31, 2026
Latest award activity	Jul 30, 2026
Source loaded	Sep 26, 2026

Showing the latest 4 of 4 loaded transactions. Negative values are deobligations.

Date	Modification	Obligation change	Description
Jul 30, 2026	P00003	$-10.0K	CLOSEOUT
Aug 8, 2023	P00002	$0	THIS ADMINISTRATIVE MODIFICATION CORRECTS THE DUNS. ALSO, THIS MODIFICATION INCORPORATES CLAUSE 52.223-99 ENSURING ADEQUATE COVID-19 SAFETY PROTOCOLS FOR FEDERAL CONTRACTORS.
Nov 22, 2021	P00001	$0	THIS ADMINISTRATIVE MODIFICATION CORRECTS THE DUNS. ALSO, THIS MODIFICATION INCORPORATES CLAUSE 52.223-99 ENSURING ADEQUATE COVID-19 SAFETY PROTOCOLS FOR FEDERAL CONTRACTORS.
Sep 9, 2020	0	$672.9K	NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERATION POSITIVE TRAIN CONTROL (PTC) SYSTEMS.

Verify whether remaining options may extend performance beyond the current end date.
Check the stated set-aside against the solicitation and current certifications.
Review the award scope and buyer evidence before making a bid/no-bid decision.