Runtime Verification beyond Monitoring (ARVI)

Overview

Ziel ist der Aufbau von Expertise durch das Zusammenführen aktiver Forscher aus unterschiedlichen Bereichen der Laufzeit-Verifikation sowie durch Treffen mit Experten aus unterschiedlichen potentiellen Anwendungsdisziplinen. Das Hauptziel ist es, die Fragmentierung der Forschung über Laufzeit-Verifikation zusammenzuführen durch

(1) das Design gemeinsamer Input-Formate für die Zusammenarbeit und den Vergleich von Werkzeugen

(2) die Evaluation unterschiedlicher Werkzeuge, den Aufbau einer wachsenden Menge von Benchmarks und die Durchführung von Wettbewerben zwischen den Werkzeugen und

(3) durch den Entwurf einer Roadmap und gro?er Herausforderungen, die aus den Anwendungsdom?nen stammen.

Key Facts

Project duration:
03/2015 - 12/2018
Funded by:
COST

More Information

Principal Investigators

contact-box image

Prof. Dr. Eric Bodden

Heinz Nixdorf Institute

About the person