USA flag logo/image

An Official Website of the United States Government

Emile: The EventML Explorer

Award Information

National Aeronautics and Space Administration
Award ID:
Program Year/Program:
2012 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
33 Thornwood Drive, Suite 500 Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2012
Title: Emile: The EventML Explorer
Agency: NASA
Contract: NNX12CD04P
Award Amount: $124,986.00


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.

Principal Investigator:

David A. Guaspari
Principal Investigator

Business Contact:

Richard Smith
Business Official
Small Business Information at Submission:

Odyssey Research Associates, Inc.
33 Thornwood Drive Suite 500 Ithaca, NY -

EIN/Tax ID: 161549760
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No