An interleaving model for real time

T.A. Henzinger, Z. Manna, A. Pnueli, in:, IEEE, 1990, pp. 717–730.

Download
No fulltext has been uploaded. References only!
Conference Paper | Published
Author
; ;
Abstract
The interleaving model is both adequate and sufficiently abstract to allow for the practical specification and verification of many properties of concurrent systems. We incorporate real time into this model by defining the abstract notion of a real-time transition system as a conservative extension of traditional transition systems: qualitative fairness requirements are replaced (and superseded) by quantitative lower-bound and upper-bound real-time requirements for transitions. We present proof rules to establish lower and upper real-time bounds for response properties of real-time transition systems. This proof system can be used to verify bounded-invariance and bounded-response properties, such as timely termination of shared-variables multi-process systems, whose semantics is defined in terms of real-time transition systems.
Publishing Year
Date Published
1990-01-01
Acknowledgement
Sponsors: IBM graduate fellowship, National Science Foundation grant CCR-89-11512, National Science Foundation CCR-89-13641, Defense Advanced Research Projects Agency under contract N00039-84-C-0211, United States Air Force Office of Scientific Research under contract AFOSR-90-0057, European Community ESPRIT Basic Research Action project 3096 (SPEC).
Page
717 - 730
Conference
JCIT: Jerusalem Conference on Information Technology
IST-REx-ID

Cite this

Henzinger TA, Manna Z, Pnueli A. An interleaving model for real time. In: IEEE; 1990:717-730.
Henzinger, T. A., Manna, Z., & Pnueli, A. (1990). An interleaving model for real time (pp. 717–730). Presented at the JCIT: Jerusalem Conference on Information Technology, IEEE.
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time,” 717–30. IEEE, 1990.
T. A. Henzinger, Z. Manna, and A. Pnueli, “An interleaving model for real time,” presented at the JCIT: Jerusalem Conference on Information Technology, 1990, pp. 717–730.
Henzinger TA, Manna Z, Pnueli A. 1990. An interleaving model for real time. JCIT: Jerusalem Conference on Information Technology 717–730.
Henzinger, Thomas A., et al. An Interleaving Model for Real Time. IEEE, 1990, pp. 717–30.

Link(s) to Main File(s)
Access Level
Restricted Closed Access

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar