Accession Number:

ADA411860

Title:

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

Descriptive Note:

Final rept. 1 Feb 1998-31 Dec 2002

Corporate Author:

CORNELL UNIV ITHACA NY DEPT OF COMPUTER SCIENCE

Report Date:

2002-12-01

Pagination or Media Count:

10.0

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 BBNs 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 LPEs 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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE