Title :
A formalism for monitoring real-time constraints at run-time
Author :
Jahanian, F. ; Goyal, A.
Author_Institution :
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Abstract :
A formalism is presented for specification and analysis of real-time constraints of systems at run time. Real-time logic (RTL) is employed to illustrate how timing properties can be specified elegantly in the form of annotation added to a program (or to a design specification). The algorithms for detecting a violation of a timing property at runtime, expressed in RTL, are presented.<>
Keywords :
formal logic; formal specification; real-time systems; formalism; monitoring real-time constraints; real-time logic; run-time; specification; timing property; Application software; Computer languages; Computerized monitoring; Condition monitoring; Logic design; Logic functions; Real time systems; Runtime environment; Testing; Timing;
Conference_Titel :
Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium
Conference_Location :
Newcastle Upon Tyne, UK
Print_ISBN :
0-8186-2051-X
DOI :
10.1109/FTCS.1990.89350
