DocumentCode
2750433
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
fYear
1990
fDate
26-28 June 1990
Firstpage
148
Lastpage
155
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/FTCS.1990.89350
Filename
89350
Link To Document