View/Open

Download Record

Author

Date

Metadata

Abstract

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.

Related items

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 ...

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) ...

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 ...