Welcome to RV 2010
Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions. The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, symbolic dynamic analysis, trace analysis, log file analysis, etc. RV can be used for many purposes, such program understanding, systems usage understanding, security or safety policy monitoring, debugging, testing, verification and validation, fault protection, behavior modification (e.g., recovery), etc. A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g. checked against formalized/programmed specifications, analyzed with special algorithms, visualized, etc. The topics below have been addressed in previous RV meetings, but new topics are welcome:program instrumentation techniques, specification languages for writing monitors, extraction of monitors from specifications, APIs for writing monitors, programming language constructs for monitoring, the use of aspect oriented programming for dynamic analysis, extensions of aspect oriented systems with trace predicates, algorithmic solutions to minimize runtime monitoring impact, combination of static and dynamic analysis, intrusion detection, security policies, policy enforcement, log file analysis, test oracles, debugging techniques, fault protection, program steering based on observed execution events, full program verification based on runtime verification, dynamic concurrency analysis, dynamic specification mining, metrics and statistical information gathered during runtime, program execution visualization.
The RV series of events started in 2001, as an annual workshop. The RV'01 to RV'05 proceedings were published in ENTCS. Since 2006, the RV proceedings have been published in LNCS. Starting with year 2010, RV is an international conference. The permanent http://runtime-verification.org page contains links to past RV events.
Chairs and Organizers
General chairs:
Howard Barringer (University of Manchester, UK)
Klaus Havelund (NASA JPL, USA)
Insup Lee (University of Pennsylvania, USA)
Programme committee chairs:
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Oleg Sokolsky (University of Pennsylvania, USA)Local organization chair:
Gordon Pace (University of Malta)Tutorials chair:
Bernd Finkbeiner (Saarland University)Tool demonstrations chair:
Nikolai Tillmann (Microsoft Research)
Publicity chair
Ylies Falcone (INRIA Rennes)