SBIR/STTR
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
More »
Anticipated Benefits
-mile supports the development of critical protocols that underlie highly reliable distributed systems (whether systems are 'naturally' distributed, or replicated for fault tolerance) for example, air traffic control. -mile supports the development of critical protocols that underlie highly reliable distributed systems (whether systems are 'naturally' distributed, or replicated for fault tolerance) for example, the New York Stock Exchange, the AEGIS combat system, Google's Chubby service (on which Google File System and Google Analytics rely).
More »
Primary U.S. Work Locations and Key Partners
| Organizations Performing Work | Role | Type | Location |
|---|---|---|---|
Ames Research Center
(ARC)
|
Lead Organization | NASA Center | Moffett Field, CA |
| Odyssey Research Associates, Inc. | Supporting Organization | Industry | Ithaca, NY |
Primary U.S. Work Locations
-
California
-
New York
Project Library
Share this Project
Organizational Responsibility
Responsible Mission Directorate:
- Space Technology Mission Directorate (STMD)
Lead Center / Facility:
- Ames Research Center (ARC)
Responsible Program:
- SBIR/STTR
Project Management
Program Director:
Program Manager:
Principal Investigator:
- David Guaspari
Project Duration
Start: Feb 2012
End: Aug 2012
Technology Maturity (TRL)
| Start: | 1 |
| Current: | 1 |
| Estimated End: | 3 |
Applied Research
Development
Demo & Test
Technology Areas
Primary:
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.