Specifying Functional and Timing Behavior for Real-Time Applications

Barbacci, M.
Wing, J.

Technical Report
CMU/SEI-86-TR-004

PDF File

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.

© 2008 Carnegie Mellon University