NASA ARC Award: Distributed – Verified – and Trustworthy Protocols for Mobile Spacecraft Coalitions

Award – May 25, 2011

General Information

NAIS Posted Date: May 25, 2011
FedBizOpps Posted Date: May 25, 2011
Noncompetitive Action: No
Recovery and Reinvestment Act Action: No
Contract Award Date: May 10, 2011
Contract Award Number: NNA11AB36C
Solicitation Number: DARPA-BAA-11-01
Contract Award Amount: 201158
Contract Line Item Number: 01
Contractor: The University of Pittsburgh 3520 Fifth Ave Pittsburgh, PA 15213-3320
Contractor DUNS Number: 004514360
Classification Code: A — Research and Development
NAICS Code: 541712 – Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)

Contracting Office Address

NASA/Ames Research Center, JA:M/S 241-1, Moffett Field, CA 94035-1000

Description

DARPA System F6, Technical Area 3. The University of Pittsburgh and its partner, the University of Illinois at Chicago, propose a project entitled, “Distributed, Verified, and Trustworthy Protocols for Mobile Spacecraft Coalitions.” The contractor proposes to design, evaluate, implement, and formally verify protocols for asynchronous distributed systems to create a secure, robust, real-time, and reliable protocol suite capable of facilitating application-level communication within the F6 project.

Point of Contact

Name: Marianne Shelley
Title: Contracting Officer
Phone: 650-604-4179
Fax: 650-604-3020
Email: marianne.shelley@nasa.gov