Specifying Functional and Timing Behavior for Real-Time Applications

Abstract

We present a notation and a methodology for specifying the functional and timing behavior of real-time applications for a heterogeneous machine. In our methodology we build upon well-defined, though isolated, pieces of previous work: Larch and Real Time Logic. In our notation, we strive to keep separate the functional specification from the timing specification so that a task's functionality can be understood independent of its timing behavior. We show that while there is a clean separation of concerns between these two specifications, the semantics of both pieces as well as their combination are simple. Keywords: syntax; queueing theory.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1986
Accession Number
ADA178769

Entities

People

  • Jeannette Wing
  • Mario R. Barbacci

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Computer Programming
  • Computer Science
  • Computers
  • Department Of Defense
  • Engineering
  • Language
  • Notation
  • Petri Nets
  • Programming Languages
  • Semantics
  • Software Development
  • Specifications
  • Standards
  • Test And Evaluation
  • Verification

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design