Specifying Functional and Timing Behavior for Real-Time Applications
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.
This report is related to the following area(s) of work:
Performance and DependabilityTechnical Report
CMU/SEI-86-TR-004
December 1986
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://www.sei.cmu.edu/library/abstracts/reports/86tr004.cfm
IEEE:
M. Barbacci, and J. Wing, "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://www.sei.cmu.edu/library/abstracts/reports/86tr004.cfm
APA:
Barbacci, M., & Wing, J. (1986). Specifying Functional and Timing Behavior for Real-Time Applications (CMU/SEI-86-TR-004 ). Retrieved May 23, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/86tr004.cfm
CHI:
Barbacci, Mario, and 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://www.sei.cmu.edu/library/abstracts/reports/86tr004.cfm
MLA:
Barbacci, M., & Wing, J. 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://www.sei.cmu.edu/library/abstracts/reports/86tr004.cfm
Find Us Here
Share This Page
For more information
