Specifying Functional and Timing Behavior for Real-Time Applications
• Technical Report
Publisher
Software Engineering Institute
CMU/SEI Report Number
CMU/SEI-86-TR-004Topic or Tag
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 Technical Report
Barbacci, M., & Wing, J. (1986, December 1). Specifying Functional and Timing Behavior for Real-Time Applications. (Technical Report CMU/SEI-86-TR-004). Retrieved December 24, 2024, from https://insights.sei.cmu.edu/library/specifying-functional-and-timing-behavior-for-real-time-applications/.
@techreport{barbacci_1986,
author={Barbacci, Mario and Wing, Jeannette},
title={Specifying Functional and Timing Behavior for Real-Time Applications},
month={{Dec},
year={{1986},
number={{CMU/SEI-86-TR-004},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/specifying-functional-and-timing-behavior-for-real-time-applications/},
note={Accessed: 2024-Dec-24}
}
Barbacci, Mario, and Jeannette Wing. "Specifying Functional and Timing Behavior for Real-Time Applications." (CMU/SEI-86-TR-004). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, December 1, 1986. https://insights.sei.cmu.edu/library/specifying-functional-and-timing-behavior-for-real-time-applications/.
M. Barbacci, and J. Wing, "Specifying Functional and Timing Behavior for Real-Time Applications," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-86-TR-004, 1-Dec-1986 [Online]. Available: https://insights.sei.cmu.edu/library/specifying-functional-and-timing-behavior-for-real-time-applications/. [Accessed: 24-Dec-2024].
Barbacci, Mario, and Jeannette Wing. "Specifying Functional and Timing Behavior for Real-Time Applications." (Technical Report CMU/SEI-86-TR-004). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Dec. 1986. https://insights.sei.cmu.edu/library/specifying-functional-and-timing-behavior-for-real-time-applications/. Accessed 24 Dec. 2024.
Barbacci, Mario; & Wing, Jeannette. Specifying Functional and Timing Behavior for Real-Time Applications. CMU/SEI-86-TR-004. Software Engineering Institute. 1986. https://insights.sei.cmu.edu/library/specifying-functional-and-timing-behavior-for-real-time-applications/