An Official Website of the United States Government
SCorES, A Logical Programming Environment for Distributed Systems
- Small Business Information
-
Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
- Phase 1
-
Fiscal Year: 2004Title: SCorES, A Logical Programming Environment for Distributed SystemsAgency / Branch: DOD / USAFContract: FA9550-04-C-0106Award 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.Small Business Information at Submission:Research Institution Information:ATC - NY
33 Thornwood Drive, Suite 500 Ithaca, NY 14850EIN/Tax ID: 161549760DUNS: N/ANumber of Employees:Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: NoCornell University
Office of Sponsored Programs, 120 Day Hall
Ithaca, NY 14853Contact: Daniel B. WhitakerContact Phone: (607) 255-5337RI Type: Nonprofit college or university
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 |