Monitoring Temporal Rules Combined with Time SeriesTest-time, Run-time, and Simulation-time Temporal Assertions in RSP
MetadataShow full item record
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring however, is limited to observing sequences of pure Boolean propositions. This paper describes tools, which observe temporal properties over time series, namely, sequences of propositions with constraints on data value changes over time. Using such temporal logic with time series (LTLD) it is possible to monitor important properties such as stability, monotonicity, temporal average and sum values, and temporal min/max values. The paper describes the Temporal Rover and the DBRover, which are in-process and remote run-time monitoring tools, respectively, that support linear time temporal logic (LTL) with real-time (MTL) and time series (LTLD) constraints.
Showing items related by title, author, creator and subject.
Hom, Donald Dokeung (1988-06);The study of temporal database systems is relatively new in the field of computer science. Two developments have led to the present interest. The advances of the storage technology for large amounts of data and applications' ...
Drusinsky, Doron; Shing, Man-Tak (2003);Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring however, is limited to observing sequences of ...
Haeger, Steven D.; Szczechowski, Carl; Carron, Michael; Chu, Peter C.; Wells, Susan K. (1997-03);This paper presents an analysis on the space/time statistical thermal structure in the Yellow Sea from the Navy's Master Observation Oceanography Data Set during 1929-1991. This analysis is for the establishment of an ...