An Analysis-Based Approach to Composition of Distributed Embedded Systems

Abstract

The growing complexity in the functionality and system architecture of embedded systems has motivated designers to raise the level of abstraction by composing the system with a mix of reusable and system-specific components. Currently these components assume specific programming models that make them difficult to compose or retarget. The modal process model addresses the problem of control composition by separating the synchronization semantics from state unification and by supporting automatic synthesis of control communication onto distributed architectures. By avoiding over-specifying the behavior, the components can be made more composable and the designer can more easily choose the least expensive synchronization semantics for implementing the composition To help designers evaluate their choice, we propose a method for analyzing the properties of the composed system, including the detection of potential deadlock and live lock situations

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1998
Accession Number
ADA416533

Entities

People

  • Gaetano Borriello
  • Pai Chou

Organizations

  • University of Washington

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computer Programming
  • Computer Science
  • Computers
  • Consistency
  • Digital Communications
  • Embedded Systems
  • Language
  • Oscillation
  • Semantics
  • Specifications
  • Steady State
  • Targets
  • Taxonomy
  • Transitions

Fields of Study

  • Computer science
  • Engineering

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Software Engineering.