NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERAT…
Award details are derived from public USAspending.gov records linked to this contractor. Not a bid recommendation.
Award details
- Award ID
- 693JJ620C000025
- Contractor
- CARNEGIE MELLON UNIVERSITY
- Awarding agency
- Department of Transportation
- Sub-agency / office
- Federal Railroad Administration
- Award amount
- $662,936
- Period of performance
- Sep 9, 2020 – Jan 31, 2024
Public award description
NEW CONTRACT FOR STUDY OF FORMAL VERIFICATION TECHNIQUES TO MATHEMATICALLY GUARANTEE SAFETY IN NEXT GENERATION POSITIVE TRAIN CONTROL (PTC) SYSTEMS.
Related entities
Related awards (same contractor)
- CONTINUATION CONTRACT AND FUNDING OBLIGATION
- CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FFRDC RESEARCH AND DEVELOPMENT
- RESEARCH AND DEVELOPMENT CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE
- CARNEGIE MELLON UNIVERSITY SOFTWARE ENGINEERING INSTITUTE FEDERALLY FUNDED RESEARCH AND