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

Institut für Softwaretechnik und Programmiersprachen

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

Originalsprache	Englisch
Titel	RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Redakteure/-innen	Giles Reger, Klaus Havelund
Seitenumfang	10
Band	3
Herausgeber (Verlag)	EasyChair
Erscheinungsdatum	14.12.2017
Seiten	96-105
DOIs	https://doi.org/10.29007/gp13
Publikationsstatus	Veröffentlicht - 14.12.2017
Veranstaltung	17th International Conference on Runtime Verification - seattle, USA / Vereinigte Staaten Dauer: 13.09.2017 → 16.09.2017

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Zugriff auf Dokument

10.29007/gp13

Andere Dateien und Links

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

Zitieren

Jakvsi'c, S., Leucker, M., Li, D., & Stolz, V. (2017). COEMS - open traces from the industry. in G. Reger, & K. Havelund (Hrsg.), RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (Band 3, S. 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 (Hrsg.), RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Bd. 3, Kalpa Publications in Computing, EasyChair, S. 96-105, 17th International Conference on Runtime Verification, seattle, Washington, USA / Vereinigte Staaten, 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. Hrsg. / Giles Reger; Klaus Havelund. Band 3 EasyChair, 2017. S. 96-105 (Kalpa Publications in Computing).

Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

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

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitieren