USA flag logo/image

An Official Website of the United States Government

SCorES, A Logical Programming Environment for Distributed Systems

Award Information

Agency:
Department of Defense
Branch:
Air Force
Award ID:
67958
Program Year/Program:
2004 / STTR
Agency Tracking Number:
F045-023-0029
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
ATC-NY
33 Thornwood Dr., Suite 500 Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2004
Title: SCorES, A Logical Programming Environment for Distributed Systems
Agency / Branch: DOD / USAF
Contract: FA9550-04-C-0106
Award Amount: $99,993.00
 

Abstract:

Distributed systems, important to civilian and military infrastucture, have steadily become more complex and steadily more difficult to understand, implement, and maintain. Addressing these dangers, a collaboration between ATC-NY and Cornell University will build a mathematically based tool, SCorES, providing powerful automated support for specifying, developing, verifying, and synthesizing real-time distributed systems at a high level of abstraction. Mathematical techniques for modeling and analyzing distributed systems are difficult to use because they are insufficiently abstract. SCorES supports abstract methods that are "declarative" (rather than operational) and "constructive". Declarative methods permit systems to be specified, analyzed, developed, and verified at a conceptual level congenial to human designers. Constructive methods permit automatic code synthesis. The key is to define a "logic" for this new domain, so all development steps become logical inferences. Work by Cornell and ATC-NY has already defined a logic appropriate for the class of distributed systems that can be specified and modeled without reference to quantitative real time. This logic has specified and derived demonstrably correct nontrivial distributed algorithms (e.g., consensus protocols). We will extend our methods to hybrid systems, including variables that evolve in continuous time and implement SCorES by encoding these methods within the NuPRL logical environment.

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:
Cornell University
Office of Sponsored Programs, 120 Day Hall
Ithaca, NY 14853
Contact: Daniel B. Whitaker
Contact Phone: (607) 255-5337
RI Type: Nonprofit college or university