Performance Property Theories for Predictable Assembly from Certifiable Components (PACC)

Abstract

This report develops a queueing-theoretic solution to predict, for a real-time system, the average-case latency of aperiodic tasks managed by a sporadic server. The report applies this theory to a model problem drawn in the domain of industrial robot control. In this model problem, a controller with hard periodic deadlines is "open" to third-party plug-in extensions. The sporadic server is used to limit the invasiveness of aperiodic tasks on the controller's hard deadlines. The theory developed in this report is used to predict the average- case latency of a plug-in managed by a sporadic server.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2004
Accession Number
ADA431163

Entities

People

  • Gabriel A. Moreno
  • John Lehoczky
  • Kurt C. Wallnau
  • Mark Klein
  • Paulo Merson
  • Scott A. Hissam

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Assembly
  • Central Processing Units
  • Construction
  • Department Of Defense
  • Distribution Functions
  • Engineering
  • Guarantees
  • Models
  • Operating Systems
  • Probability
  • Probability Distributions
  • Queueing Theory
  • Random Variables
  • Scheduling (Production)
  • Simulations
  • Software Development
  • Standards

Fields of Study

  • Computer science

Readers

  • Mathematical Modeling and Probability Theory.
  • Molecular Biology and Genetics
  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - Bayesian Inference
  • Autonomy
  • Autonomy - Autonomous System Control