A Report of RV-CuBES 2017

Abstract

RV-CuBES was an international workshop that took place alongside the 17th International Conference on Runtime Verification in Seattle during 13-16th September, 2017. The focus of the competition was to consider tools for Runtime Verification (RV). The acronym CuBES stands for Competitions, usability, Benchmarks, Evaluation, and Standardisation. The workshop consisted of poster presentations of tool overview papers and a discussion session of position papers. This report gives an overview of submissions and discussions.

COST Action IC1402 Runtime Verification Beyond Monitoring

“…We organised two events outside the Action to encourage this. Firstly, the RV-CuBES workshop [34,31] was held alongside the 17th International Conference on Runtime Verification [27]. This contained 11 short tool papers and 5 position papers discussing how RV tools should be evaluated [10,37,39], describing challenges of using RV tools in industry [21], and encouraging the community to use open standards [26].…”

A taxonomy for classifying runtime verification tools

“…The last significant attempt at a taxonomy was in 2004 [24] and had a distinctly different focus to our own. Secondly, a number of activities, such as the runtime verification competitions [4,6,30,48], the RV-CuBES workshop [46,49], two schools dedicated to RV [16], and a COST action [1] (including the development of a tutorial book on the topic [5]), have put the development of runtime verification tools into focus.…”

Introduction to the special issue on runtime verification

“…As an event, RV-which started initially as a workshop-became a conference in 2010 [18]. Three competitions on software for runtime verification have been organized in so far (see [19][20][21] and [22] for an extensive report of the first incarnation of the competition) as well as a workshop reporting reflections on past competitions [23]. Additionally, two graduate schools (see [24]) devoted to runtime verification have been recently organized in 2016 1 and 2018.…”