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

Digital Library

Technical Report

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.

  • 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 March 24, 2019, 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

BibTex

@techreport{BarbacciSpecifyingFunctional1986,
title={Specifying Functional and Timing Behavior for Real-Time Applications},
author={Mario Barbacci and Jeannette Wing},
year={1986},
number={CMU/SEI-86-TR-004 },
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=10157} }