USA flag logo/image

An Official Website of the United States Government

Protoplasm: Automating checks for protocol compatibility

Award Information

Agency:
Department of Defense
Branch:
Office of the Secretary of Defense
Award ID:
83493
Program Year/Program:
2007 / STTR
Agency Tracking Number:
O064-SP3-2019
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
ATC - NY
33 Thornwood Drive, Suite 500 Ithaca, NY 14850-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2007
Title: Protoplasm: Automating checks for protocol compatibility
Agency / Branch: DOD / OSD
Contract: W911QX-07-C-0069
Award Amount: $99,991.00
 

Abstract:

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.

Principal Investigator:

David Guaspari
Staff Scientist
6072571975
davidg@atc-nycorp.com

Business Contact:

Richard Smith
Controller
6072571975
rick@atc-nycorp.com
Small Business Information at Submission:

ATC - NY
33 Thornwood Drive, Suite 500 Ithaca, NY 14850

EIN/Tax ID: 161549760
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
UNIV. OF MINNESOTA
McNamara Alumni Center, Suite , 200 Oak Street SE
Minneapolis, MN 55455
Contact: April H. Coon
Contact Phone: (612) 624-5599
RI Type: Nonprofit college or university