Emile: The EventML Explorer

Award Information
Agency:
National Aeronautics and Space Administration
Branch
n/a
Amount:
$124,986.00
Award Year:
2012
Program:
SBIR
Phase:
Phase I
Contract:
NNX12CD04P
Award Id:
n/a
Agency Tracking Number:
114127
Solicitation Year:
2011
Solicitation Topic Code:
A1.20
Solicitation Number:
n/a
Small Business Information
33 Thornwood Drive Suite 500, Ithaca, NY, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
101321479
Principal Investigator:
DavidGuaspari
Principal Investigator
(607) 257-1975
davidg@atc-nycorp.com
Business Contact:
RichardSmith
Business Official
(607) 257-1975
rick@atc-nycorp.com
Research Institute:
Stub




Abstract
The protocols needed to coordinate the activities of distributed components, such as consensus algorithms, are notoriously difficult to design, implement, and verify. Abstraction is the only way to gain intellectual control over this complex problem; so ATC-NY and Cornell University have developed Event Logic, a high-level model for describing and reasoning about distributed systems, and EventML, a high-level functional language for implementing distributed protocols by¿programming with events.¿ To integrate these conceptual tools with standard processes of system development ATC-NY will develop ¿mile, a software tool providing: a semantic interface to EventML that translates assertions about properties of EventML programs into logical forms to which powerfulexisting analysis tools can be applied, along with a ¿logical manager¿ that can direct analyses involving the interaction of these tools. We will demonstrate ¿mile by using it to verify the key properties of EventML source code for standard consensus algorithms, such as Paxos.

* 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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government