Compositional Abstraction and Refinement for Aspects (CARA)

Abstract

The project originally focused on compositional formal methods for aspect-oriented programs and was located in the PCES program. Soon after its inception, however, the project was moved to the SEC (Software Enabled Control) program where its focus shifted to formal analysis of mixed discrete/continuous (i.e., hybrid) systems. We developed a two-step approach to analysis of hybrid systems: compute a property-preserving discrete approximation to the original hybrid system, and then analyze the discrete approximation. The approximation method is called Hybrid Abstraction and was developed by us in the DARPA MoBIES program. In the present project, we developed the theorem-proving technology that enables automated calculation of the approximation, and we built the SAL (Symbolic Analysis Laboratory) system for specification and analysis of discrete systems.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2004
Accession Number
ADA442050

Entities

People

  • John Rushby

Organizations

  • SRI International

Tags

Communities of Interest

  • C4I
  • Human Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Aircrafts
  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Automata
  • Automata Theory
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Information Processing
  • Lisp Programming Language
  • Mathematics
  • Programming Languages
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Software Engineering.