A formalism for monitoring real-time constraints at run-time
Farnam Jahanian, Ambuj Goyal
FTCS 1990
A method is presented for the specification and verification of real-time systems in which some of the timing constraints are specified as variables. These variables can be viewed as parameters of the system under consideration. A set of inequalities restricts the range of values that a variable can be assigned relative to other variables (parameters) of the system. The proposed method extends an earlier work (F. Jahanian and D. A. Stuart, ibid., pp. 12-21, 1988) for verifying properties of systems expressed in the Modechart language where timing constraints were specified as integer constants. Also presented are results on the undecidability of verifying properties of systems.
Farnam Jahanian, Ambuj Goyal
FTCS 1990
Farnam Jahanian, W.L. Moran
MRD 1992
Farnam Jahanian, S. Fakhouri, et al.
SRDS 1993
Jehuda Ish-Shalom, Peter Kazanzides
RTSS 1989