Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "TeSSLa"

by Martin Leucker

Mon, 04 September 2017 at 10:50 am in Berlin, Germany

Joint work with: Normann Decker, Torben Scheffel, Cesar Sanchez, Malte Schmitz, Daniel Thoma,

Abstract: We present TeSSLa, a specification language based on stream runtime verification, for monitoring an important class of real-time signals. Our monitors can observe concurrent systems with a shared clock, but where each component report observations as signals that arrive to the monitor at different speeds and with different and varying latencies. In TeSSLa the inputs and final verdicts are not restricted to be Boolean streams but can be from richer data domains, like integers or reals, with arithmetic operations and aggregations. Consequently, TeSSLa can be used for both checking logical properties and for computing statistics and general numeric temporal metrics (and properties on these metrics). Finally, present online evaluation algorithms for TeSSLa specifications.