Accession Number:

ADA488389

Title:

Event Logic Assistant (Elan)

Descriptive Note:

Final rept. 15 Sep 2007-14 Apr 2008

Corporate Author:

ATC-NY ITHACA NY

Personal Author(s):

Report Date:

2008-07-14

Pagination or Media Count:

32.0

Abstract:

Report developed under STTR contract for topic AF07-T019. Distributed systems, now crucial to the infrastructure of our nation, are difficult to understand and design. The most effective way to gain intellectual control over complexity has always been abstraction. ATC-NY and Cornell University have developed the event logic formalism to permit development of distributed systems at a high level of abstraction. It provides an implementation-independent way to describe distributed computation and system requirements. This report describes the design of an Event Logic Assistant Elan that provides powerful automated support for applying event logic to the design and implementation of high-assurance distributed protocols. Its guiding principle is that the developer should perform all creative work - formalizing requirements and designing algorithms - at the highest possible level of abstraction, while automated tools take care of the rest.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE