An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models

Abstract

The project has designed, built and tested a prototype system called a Logical Programming Environment (LPE), which provides the means to formally specify, design, verify, and optimize distributed embedded systems. The LPE has been used in increasingly complex applications, ranging from automatic code improvements for the Ensemble group communication system to the formal design of adaptive network systems and the automatic generation of coordinated contracts for BBN's Unmanned Aerial Vehicle (UAV) application. In each case, using the LPE has led to significantly increased assurance, flexibility, or efficiency of the application. In the process, substantial extensions to the LPE's logical foundations and its automated reasoning capabilities were made, thus increasing its ability to contribute to the design and implementation of reliable, reusable, reconfigurable, correct, and efficient distributed embedded systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 2002
Accession Number
ADA411860

Entities

People

  • Christoph Kreitz
  • Robert L. Constable

Organizations

  • Cornell University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy

DTIC Thesaurus Topics

  • Adaptive Systems
  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Automatic
  • Communication Systems
  • Computer Programming
  • Computer Science
  • Contracts
  • Embedded Systems
  • Information Systems
  • Mathematics
  • Supervised Machine Learning
  • Unmanned Aerial Vehicles

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Materials Science and Engineering.
  • Software Engineering.

Technology Areas

  • Autonomy
  • Autonomy - Autonomous System Control