Show simple item record

dc.contributor.author
Krstić, Srđan
dc.contributor.author
Schneider, Joshua
dc.contributor.editor
Deshmukh, Jyotirmoy
dc.contributor.editor
Ničković, Dejan
dc.date.accessioned
2020-10-19T08:40:32Z
dc.date.available
2020-10-16T06:33:30Z
dc.date.available
2020-10-19T08:40:32Z
dc.date.issued
2020
dc.identifier.isbn
978-3-030-60507-0
en_US
dc.identifier.isbn
978-3-030-60508-7
en_US
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-030-60508-7_27
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/446255
dc.description.abstract
We present a randomized benchmark generator for attesting the correctness and performance of online first-order monitors. The benchmark generator consists of three components: a stream generator, a stream replayer, and a monitoring oracle. The stream generator produces random event streams that conform to user-defined characteristics such as event frequencies and distributions of the events’ parameters. The stream replayer reproduces event streams in real time at a user-defined velocity. By varying the stream characteristics and velocity, one can analyze their impact on the monitor’s performance. The monitoring oracle provides the expected result of monitoring the generated streams against metric first-order regular specifications. The specification languages supported by most existing monitors are either a subset of or share a large common fragment with the oracle’s language. Thus, we envision that our benchmark generator will be used as a standard correctness and performance testing tool for online monitors.
en_US
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.subject
Online monitoring
en_US
dc.subject
Temporal logic
en_US
dc.subject
Benchmark
en_US
dc.title
A Benchmark Generator for Online First-Order Monitoring
en_US
dc.type
Conference Paper
dc.date.published
2020-10-02
ethz.book.title
Runtime Verification
en_US
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
12399
en_US
ethz.journal.abbreviated
LNCS
ethz.pages.start
482
en_US
ethz.pages.end
494
en_US
ethz.event
20th International Conference on Runtime Verification (RV 2020) (virtual)
en_US
ethz.event.location
Los Angeles, CA, USA
en_US
ethz.event.date
October 6–9, 2020
en_US
ethz.notes
Due to the Coronavirus (COVID-19) the conference was conducted virtually.
ethz.grant
Big Data Monitoring
en_US
ethz.publication.place
Cham
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
en_US
ethz.grant.agreementno
167162
ethz.grant.agreementno
167162
ethz.grant.fundername
SNF
ethz.grant.fundername
SNF
ethz.grant.funderDoi
10.13039/501100001711
ethz.grant.funderDoi
10.13039/501100001711
ethz.grant.program
NFP 75: Gesuch
ethz.date.deposited
2020-10-16T06:33:40Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2020-10-19T08:40:45Z
ethz.rosetta.lastUpdated
2020-10-19T08:40:45Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=A%20Benchmark%20Generator%20for%20Online%20First-Order%20Monitoring&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2020&rft.volume=12399&rft.spage=482&rft.epage=494&rft.issn=0302-9743&1611-3349&rft.au=Krsti%C4%87,%20Sr%C4%91an&Schneider,%20Joshua&rft.isbn=978-3-030-60507-0&978-3-030-60508-7&rft.genre=proceeding&rft_id=info:doi/978-3-030-60507-0&info:doi/978-3-030-60508-7&rft.btitle=Runtime%20Verification
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record