COEMS – open traces from the industry

TitleCOEMS – open traces from the industry
Publication TypeConference Paper
Year of Publication2017
AuthorsJakšić, S, Leucker, M, Li, D, Stolz, V, Reger, G, Havelund, K
Conference NameRV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
SeriesKalpa Publications in Computing
Volume3
PublisherEasyChair
Conference LocationSeattle, WA, USA
Other Numbers2515-1762
KeywordsData Management Plan, open data, Runtime verification, trace format
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".

URLhttps://easychair.org/publications/paper/QljX
Bibtex: 
@inproceedings {1283,
	title = {COEMS {\textendash} open traces from the industry},
	booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
	series = {Kalpa Publications in Computing},
	volume = {3},
	year = {2017},
	publisher = {EasyChair},
	organization = {EasyChair},
	address = {Seattle, WA, USA},
	abstract = {<p>The runtime verification community is still fragmented with non-interoperable specifications and tools. Within the EU H2020 project COEMS {\textquotedblleft}Continuous Observation of Embedded Multicore Systems{\textquotedblright}, 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".</p>
},
	keywords = {Data Management Plan, open data, Runtime verification, trace format},
	url = {https://easychair.org/publications/paper/QljX},
	author = {Svetlana Jak{\v s}i{\'c} and Martin Leucker and Dan Li and Volker Stolz and Giles Reger and Klaus Havelund}
}