CRV 2015
The 2nd International Competition on Runtime Verification,
held with RV 2015, September 22 – 25, 2015 Vienna, Austria
CRV-2015 is the 2nd International Competition on Runtime Verification and is
part of the 15th International
Conference on Runtime Verification. The event will be held in September 2015,
in Vienna, Austria. CRV-2015 will
draw attention to the invaluable effort of software developers and researchers
who contribute in this field by
providing the community with new or updated tools, libraries and frameworks for
the instrumentation and runtime
verification of software.
Runtime Verification is a verification technique for the analysis of software
at execution-time based on extracting
information from a running system and checking if the observed behaviors
satisfy or violate the properties of interest.
During the last decade, many important tools and techniques have been developed
and successfully employed. However,
there is a pressing need to compare such tools and techniques, since we
currently lack a common benchmark suite as well
as scientific evaluation methods to validate and test new prototype runtime
verification tools.
The main aims of CRV-2015 are to:
• Stimulate the development of new efficient and practical runtime
verification tools and the maintenance
and improvement of the already developed ones.
• Produce a benchmark suite for runtime verification tools, by sharing
case studies and programs that
researchers and developers can use in the future to test and to
validate their prototypes.
• Discuss the metrics employed for comparing the tools.
• Provide a comparison of the tools on different benchmarks and
evaluate them using different criteria.
• Enhance the visibility of presented tools among the different
communities (verification, software
engineering, cloud computing and security) involved in software
monitoring.
Please direct any enquiries to the competition co-organizers
([email protected])
• Yliès Falcone (Université Joseph Fourier, France).
• Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria).
• Giles Reger (University of Manchester, UK).
• Daniel Thoma (University of Luebeck, Germany).
CRV-2015 Jury
The CSRV Jury will include a representative for each participating team and the
competition chairs. The Jury will be consulted at each stage of the competition
to ensure that the rules set by the competition chairs are fair and reasonable.
Call for Participation
The main goal of CRV 2015 is to compare tools for runtime verification. We
invite and encourage the participation with benchmarks and tools for the
competition.The competition will consist of three main tracks based on the
input language used:
• Track on monitoring Java programs (online monitoring).
• Track on monitoring C programs (online monitoring).
• Track on monitoring of traces (offline monitoring).
The competition will follow three phases:
• Benchmarks/Specification collection phase - the participants are
invited to submit their benchmarks
(C or Java programs and/or traces). The organizers will collect them
in a common repository
(publicly available). The participants will then train their tools
using the shared benchmarks.
• Monitor collection phase - the participants are invited to submit
their monitors. The participants with
the tools/monitors that meet the qualification requirements will be
qualified for the evaluation phase.
• Evaluation phase - the qualified tools will be evaluated on the
submitted benchmarks and they will be
ranked using different criteria (i.e., memory utilization, CPU
utilization, ...). The final results
will be presented at the RV 2015 conference.
The detailed description of each phase will be available on the RV 2015 website
at http://rv2015.conf.tuwien.ac.at.
Expected Important Dates
January 15, 2015: Declaration of intent (email: [email protected])
March 1, 2015 Submission deadline for benchmark programs and the properties to
be monitored
March 15, 2015 Tool training starts by participants
May 15, 2015 Monitor submission
June 15, 2015 Notifications
At RV 2015 Presentation of results
———
---
To opt-out from this mailing list, send an email to
[email protected]
with the word 'unsubscribe' as subject or in the body. You can also make the
request by contacting
[email protected]
_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om
