Runtime Verification beyond Monitoring (ARVI)

Überblick

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

Laufzeit:
03/2015 - 12/2018
Gefördert durch:
COST

Detailinformationen

Projektleitung

contact-box image

Prof. Dr. Eric Bodden

Heinz Nixdorf Institut

Zur Person