Runtime Verification beyond Monitoring (ARVI)

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.