This paper describes the language Lustre, which is a dataflow synchronous language, designed for programming reactive systems --- such as automatic control and monitoring systems --- as well as for describing hardware. The dataflow aspect of Lustre makes it very close to usual description tools

supports implementation of effective schemes for monitoring environment properties based on distributed predicate detection. A middleware infrastructure is designed and implemented, which supports efficient monitoring of environment properties for building high-confidence systems in open environments

- Transfer of payment to seller . Trust - Credit system, reputations, rating agencies like Consumer Reports and Better Business Bureaus Institutional infrastucture . Legal - Commercial code, contract law, dispute resolution, intellectual property protection . Regulatory - Rules and regulations

The problem of testing a linear temporal logic (LTL) formula on a finite execution trace of events, generated by an executing program, occurs naturally in runtime analysis of software. An algorithm which takes a past time LTL formula and generates an efficient dynamic programming algorithm is presented. The generated algorithm tests whether the formula is satisfied by a finite trace of events given as input and runs in linear time, its constant depending on the size of the LTL formula.

Abstract not found

We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We con-sider a discrete location / patch-based representation of space, with a population of interacting agents evolving in each location and with agents migrating from one patch

ABSTRACT: Cement-based strain sensors (CBCC sensor) were fabricated by taking the advantage of piezoresistivity of CB-filled CBCC. CBCC sensors were centrally embedded into concrete columns (made with C40 and C80 concretes, respectively) to monitor the strain of the columns under cyclic load

describe an architecture for sensor network monitoring, then focus on one aspect of this architecture: continuously computing aggregates (sum, average, count) of network properties (loss rates, energylevels etc., packet counts). Our contributions are two-fold. First, we propose a novel tree construction

Abstract. In this paper, we present a comprehensive overview of the property-based monitoring framework for analog and mixed-signal systems. Our monitoring approach is centered around the Signal Temporal Logic (STL) specification language, and is implemented in a stand-alone monitoring tool (AMT

2 Runtime evaluation of tracematches 5 2.1 HasNext example tracematch.................................... 5