AIRES: Automatic Integration of Reusable Embedded Software, Methodologies, Toolkit, and Experiments

Abstract

Program objective is to develop methodologies using a combination of object-oriented models, formal methods and real-time computing principals for model-based integration of embedded real-time software under assumptions that (1) there exists reusable software components; (2) timing characteristics of components under different resource constraints are known or can be measured experimentally; and (3) all application functionality and timing can be specified at design phase.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2004
Accession Number
ADA425188

Entities

People

  • Jeong-chang Kim
  • Kang G. Shin
  • Sharath Kodase
  • Shige Wang
  • Zonghua Gu

Organizations

  • University of Michigan

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Facilities
  • Air Force Research Laboratories
  • Automatic
  • Clustering
  • Department Of Defense
  • Engineering
  • Governments
  • Information Operations
  • Information Systems
  • Intervals
  • Military Research
  • Procurement
  • System Software
  • United States
  • United States Government

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications