Protoplasm: Automating checks for protocol compatibility

Award Information
Agency: Department of Defense
Branch: Army
Contract: W911QX-07-C-0069
Agency Tracking Number: O064-SP3-2019
Amount: $99,991.00
Phase: Phase I
Program: STTR
Awards Year: 2007
Solicitation Year: 2006
Solicitation Topic Code: OSD06-SP3
Solicitation Number: N/A
Small Business Information
33 Thornwood Drive, Suite 500, Ithaca, NY, 14850
DUNS: 101321479
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 David Guaspari
 Staff Scientist
 (607) 257-1975
Business Contact
 Richard Smith
Title: Controller
Phone: (607) 257-1975
Research Institution
 April H Coon
 McNamara Alumni Center, Suite , 200 Oak Street SE
Minneapolis, MN, 55455
 (612) 624-5599
 Nonprofit college or university
Pervasive networking provides ever-growing opportunities for collaboration among computer systems operating in different domains. These systems may "speak" in their own protocols and data formats; and determining whether two speak in compatible terms can be difficult. Since manual review is costly, time-consuming, and error-prone, the opportunities for cross-domain collaboration can be fully realized only if large parts of the problem of detecting and compensating for incompatibilities can be automated. Analysis and synthesis algorithms have been developed, but they can be applied only if all the relevant protocols have been formally specified-i.e., given precise mathematical descriptions. ATC-NY, Architecture Technology Corporation, and the University of Minnesota-with extensive experience in both networking and applied formal methods-will collaborate to develop Protoplasm, a tool suite for analyzing and ensuring the compatibility of cross-domain protocols that is centered on the key enabling technology: automated support for creating and validating protocol specifications. Protoplasm will use the Play-Engine to capture requirements by "scenario-based programming" and to explore and validate specifications. Protoplasm will analyze the compatibility of protocols and support conformance-checking by generating monitors that evaluate tests of implementations against protocol specifications and by generating input for BLAST, which can verify source code by static analysis.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government