ngày 10 tháng 9 năm 2020
Giai đoạn ba tài trợ được trao cho chương trình trường hợp DARPA liên quan đến Khoa tỷ số bóng đá pháp
5441_5687
Robby và Hatcliff, và nhóm được dẫn đầu bởi Collins Aerospace, bao gồm Adventium Labs, Data61-Mạng nghiên cứu kỹ thuật số hàng đầu của Úc-và Đại học Kansas, sẽ hợp tác trong việc gia hạn hợp đồng thực hiện đầy đủ các hoạt động Chia sẻ của tỷ số bóng đá pháp trong khoản tài trợ này là $ 375.000.
Ngoài ra, Collins Aerospace đã tiếp tục hỗ trợ công việc nghỉ phép của Robby và Hatcliff bằng cách trao thêm 550.000 đô la cho khoảng thời gian tháng 8 năm 2020 đến 2022. Do đó, bao gồm cả khoản tỷ số bóng đá pháp trợ nghỉ phép được trao trước đó của họ đã nhận được năm ngoái là 589.909 đô la cho tháng 5 năm 2019 đến tháng 8 năm 2020, tổng số giải thưởng của Collins cho Robby và Hatcliff cho dòng công việc nghiên cứu nghỉ phép của họ lên tới 1.139.909 đô la.
Chương trình trường hợp DARPA nhằm mục đích phát triển mô hình hóa hệ thống, phân tích, tạo mã và kỹ thuật xác minh sẽ giúp các kỹ sư làm cứng các hệ thống quan trọng, bao gồm cả Bộ hệ thống phòng thủ, chống lại các cuộc tấn công mạng.
Trong trường hợp DARPA Giai đoạn 3, các công cụ phân tích, phân tích và xác minh mã được xây dựng bởi nhóm tỷ số bóng đá pháp sẽ được sử dụng để phát triển phần mềm điều khiển nhiệm vụ chống mạng cho phiên bản thử nghiệm của nền tảng máy bay quân sự đang sử dụng.