Event Logic Assistant (Elan)

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 14, 2008
Accession Number
ADA488389

Entities

People

  • Mark Bickford

Tags

Communities of Interest

  • Sensors

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Algorithms
  • Automata
  • Compilers
  • Computations
  • Computer Programming
  • Consensus Algorithms
  • Contracts
  • Governments
  • Instructions
  • Language
  • Machines
  • Programming Languages
  • Prototypes
  • Specifications
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Defense Financial Management and Audit.
  • Software Engineering.
  • Systems Analysis and Design