Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Technical Report

Specifying Functional and Timing Behavior for Real-Time Applications

  • December 1986
  • By Mario R. Barbacci , J. Wing
  • This 1986 report presents a notation and a methodology for specifying the functional and timing behavior of real-time applications for a heterogeneous machine.
  • Performance and Dependability
  • Publisher: Software Engineering Institute
  • 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.

  • Download

Cite This Report

SEI

Barbacci, Mario; & Wing, Jeannette. Specifying Functional and Timing Behavior for Real-Time Applications (CMU/SEI-86-TR-004 ). Software Engineering Institute, Carnegie Mellon University, 1986. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10157

IEEE

Barbacci. Mario, and Wing. Jeannette, "Specifying Functional and Timing Behavior for Real-Time Applications," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-86-TR-004 , 1986. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10157

APA

Barbacci, Mario., & Wing, Jeannette. (1986). Specifying Functional and Timing Behavior for Real-Time Applications (CMU/SEI-86-TR-004 ). Retrieved December 28, 2014, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10157

CHI

Mario Barbacci, & Jeannette Wing. Specifying Functional and Timing Behavior for Real-Time Applications (CMU/SEI-86-TR-004 ). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1986. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10157

MLA

Barbacci, Mario., & Wing, Jeannette. 1986. Specifying Functional and Timing Behavior for Real-Time Applications (Technical Report CMU/SEI-86-TR-004 ). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10157