COEMS - open traces from the industry

Svetlana Jakvsi'c; Martin Leucker; Dan Li; Volker Stolz

doi:10.29007/gp13

COEMS - open traces from the industry

Svetlana Jakvsi'c, Martin Leucker, Dan Li, Volker Stolz

Institute of Software Engineering and Programming Languages

Abstract

The runtime verification community is still fragmented with non-interoperable specifications and tools. Within the EU H2020 project COEMS “Continuous Observation of Embedded Multicore Systems”, we are contributing to the European Open Research Data Pilot that makes scientific data available to other researchers. We describe our first contributions and experience with the required data management and discuss technical issues such as metadata management, format and storage on practical examples. Based on our experience, we make suggestions on tools and formats for future RV Competitions and for desired artefacts from the EU COST Action IC1402 "ARVI -- Runtime Verification Beyond Monitoring".

Original language	English
Title of host publication	RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Editors	Giles Reger, Klaus Havelund
Number of pages	10
Volume	3
Publisher	EasyChair
Publication date	14.12.2017
Pages	96-105
DOIs	https://doi.org/10.29007/gp13
Publication status	Published - 14.12.2017
Event	17th International Conference on Runtime Verification - seattle, United States Duration: 13.09.2017 → 16.09.2017

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.29007/gp13

Cite this

Jakvsi'c, S., Leucker, M., Li, D., & Stolz, V. (2017). COEMS - open traces from the industry. In G. Reger, & K. Havelund (Eds.), RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (Vol. 3, pp. 96-105). (Kalpa Publications in Computing). EasyChair. https://doi.org/10.29007/gp13

@inproceedings{392f4202147e40f1b90347741347092b,

title = "COEMS - open traces from the industry",

abstract = "The runtime verification community is still fragmented with non-interoperable specifications and tools. Within the EU H2020 project COEMS “Continuous Observation of Embedded Multicore Systems”, we are contributing to the European Open Research Data Pilot that makes scientific data available to other researchers. We describe our first contributions and experience with the required data management and discuss technical issues such as metadata management, format and storage on practical examples. Based on our experience, we make suggestions on tools and formats for future RV Competitions and for desired artefacts from the EU COST Action IC1402 {"}ARVI -- Runtime Verification Beyond Monitoring{"}.",

author = "Svetlana Jakvsi'c and Martin Leucker and Dan Li and Volker Stolz",

year = "2017",

month = dec,

day = "14",

doi = "10.29007/gp13",

language = "English",

volume = "3",

series = "Kalpa Publications in Computing",

publisher = "EasyChair",

pages = "96--105",

editor = "Giles Reger and Klaus Havelund",

booktitle = "RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools",

note = "17th International Conference on Runtime Verification, RV-CuBES 2017 ; Conference date: 13-09-2017 Through 16-09-2017",

}

Jakvsi'c, S, Leucker, M, Li, D & Stolz, V 2017, COEMS - open traces from the industry. in G Reger & K Havelund (eds), RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. vol. 3, Kalpa Publications in Computing, EasyChair, pp. 96-105, 17th International Conference on Runtime Verification, seattle, Washington, United States, 13.09.17. https://doi.org/10.29007/gp13

COEMS - open traces from the industry. / Jakvsi'c, Svetlana; Leucker, Martin; Li, Dan et al.
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. ed. / Giles Reger; Klaus Havelund. Vol. 3 EasyChair, 2017. p. 96-105 (Kalpa Publications in Computing).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - COEMS - open traces from the industry

AU - Jakvsi'c, Svetlana

AU - Leucker, Martin

AU - Li, Dan

AU - Stolz, Volker

PY - 2017/12/14

Y1 - 2017/12/14

N2 - The runtime verification community is still fragmented with non-interoperable specifications and tools. Within the EU H2020 project COEMS “Continuous Observation of Embedded Multicore Systems”, we are contributing to the European Open Research Data Pilot that makes scientific data available to other researchers. We describe our first contributions and experience with the required data management and discuss technical issues such as metadata management, format and storage on practical examples. Based on our experience, we make suggestions on tools and formats for future RV Competitions and for desired artefacts from the EU COST Action IC1402 "ARVI -- Runtime Verification Beyond Monitoring".

AB - The runtime verification community is still fragmented with non-interoperable specifications and tools. Within the EU H2020 project COEMS “Continuous Observation of Embedded Multicore Systems”, we are contributing to the European Open Research Data Pilot that makes scientific data available to other researchers. We describe our first contributions and experience with the required data management and discuss technical issues such as metadata management, format and storage on practical examples. Based on our experience, we make suggestions on tools and formats for future RV Competitions and for desired artefacts from the EU COST Action IC1402 "ARVI -- Runtime Verification Beyond Monitoring".

UR - https://www.researchgate.net/publication/322897002_COEMS_-_open_traces_from_the_industry

U2 - 10.29007/gp13

DO - 10.29007/gp13

M3 - Conference contribution

VL - 3

T3 - Kalpa Publications in Computing

SP - 96

EP - 105

BT - RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools

A2 - Reger, Giles

A2 - Havelund, Klaus

PB - EasyChair

T2 - 17th International Conference on Runtime Verification

Y2 - 13 September 2017 through 16 September 2017

ER -

COEMS - open traces from the industry

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this