Advanced Search

Content Type

Topics

Publication Date

Specifying Functional and Timing Behavior for Real-Time Applications

  • Author(s): ,
  • Publish Date:
  • Publisher: Software Engineering Institute
  • SEI Identifier: CMU/SEI-86-TR-004
  • Type: Technical Report
  • Topics: Performance and Dependability
  • Description: This 1986 report presents a notation and a methodology for specifying the functional and timing behavior of real-time applications for a heterogeneous machine.

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.

Cite This Report

Show Citation Formats

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 July 31, 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