Small Business Innovation Research/Small Business Tech Transfer
Emile: The EventML Explorer, Phase I
Project Introduction
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 powerful existing 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.
More »
Primary U.S. Work Locations and Key Partners
| Organizations Performing Work | Role | Type | Location |
|---|---|---|---|
| Odyssey Research Associates, Inc. | Lead Organization | Industry | Ithaca, New York |
Ames Research Center
(ARC)
|
Supporting Organization | NASA Center | Moffett Field, California |
Primary U.S. Work Locations
-
California
Project Library
Share this Project
Organizational Responsibility
Responsible Mission Directorate:
- Space Technology Mission Directorate (STMD)
Lead Organization:
- Odyssey Research Associates, Inc.
Responsible Program:
- Small Business Innovation Research/Small Business Tech Transfer
Project Management
Program Director:
Program Manager:
Principal Investigator:
- David Guaspari
Project Duration
Start: Feb 2012
End: Aug 2012
Technology Maturity (TRL)
| Start: | 1 |
| Current: | 3 |
| Estimated End: | 3 |
Applied Research
Development
Demo & Test
Technology Areas
Primary:
- TX11 Software, Modeling, Simulation, and Information Processing
- TX11.2 Modeling
- TX11.2.2 Integrated Hardware and Software Modeling
Target Destinations
The Sun, Earth, The Moon, Mars, Others Inside the Solar System, Outside the Solar System
Suggest an Edit
Recommend changes and additions to this project record.
This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.