Real-time system = discrete system + clock variables

R. Alur, T.A. Henzinger, Software Tools For Technology Transfer 1 (1997) 86–109.

Download
No fulltext has been uploaded. References only!

Journal Article | Published
Author
Abstract
This paper introduces, gently but rigorously, the clock approach to real-time programming. We present with mathematical precision, assuming no prerequisites other than familiarity with logical and programming notations, the concepts that are necessary for understanding, writing, and executing clock programs. In keeping with an expository style, all references are clustered in bibliographic remarks at the end of each section. The first appendix presents proof rules for verifying temporal properties of clock programs. The second appendix points to selected literature on formal methods and tools for programming with clocks. In particular, the timed automaton, which is a finite-state machine equipped with clocks, has become a standard paradigm for real-time model checking; it underlies the tools HyTech, Kronos, and Uppaal, which are discussed elsewhere in this volume.
Publishing Year
Date Published
1997-01-01
Journal Title
Software Tools For Technology Transfer
Volume
1
Issue
1-2
Page
86 - 109
IST-REx-ID

Cite this

Alur R, Henzinger TA. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1997;1(1-2):86-109. doi:10.1007/s100090050007
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer, 1(1–2), 86–109. https://doi.org/10.1007/s100090050007
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer 1, no. 1–2 (1997): 86–109. https://doi.org/10.1007/s100090050007.
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2, pp. 86–109, 1997.
Alur R, Henzinger TA. 1997. Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. 1(1–2), 86–109.
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar