On-line Monitoring of Metric Temporal Logic with Time- Series Constraints Using Alternating Finite Automata
MetadataShow full item record
In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series (MTLS). The method is based on Remote Execution and Monitoring (REM) of temporal logic assertions. We describe the syntax and semantics of MTLS and a monitoring technique based on alternating finite automata that is efficient for a large set of frequently used formulae and is also an on-line technique. We investigate the run-time data-structure size for several interesting assertions taken from the Kansas State specification patterns.
Showing items related by title, author, creator and subject.
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 ...
Eichelberger, John W. (Monterey, California. Naval Postgraduate School, 1994-09);The Common Data Link (CDL) is a full duplex, point-to-point microwave communications system used in imagery and signals intelligence collection systems. It provides a link between two remote Local Area Networks (LANs) ...
Bentley, Brian Smith (Monterey, California; Naval Postgraduate School, 1970-06);This thesis considers the application of real-time digital information systems to the field of professional trading of commodities. Pertinent factors involved with the interfacing of a monitor system with a commodity ...