Talks and Poster Presentations (with Proceedings-Entry):

K. Selyunin, T. Nguyen, A.D. Basa, E. Bartocci, D. Nickovic, R. Grosu:
"Applying High-Level Synthesis for Synthesizing Hardware Runtime STL Monitors of Mission-Critical Properties";
Talk: Design and Verification Conference and Exhibition, San Jose, USA; 2016-02-29 - 2016-03-03; in: "Design and Verification Conference and Exhibition", Online, (2016), 8 pages.

English abstract:
Runtime monitoring is an important technique for catching failures. This work shows how to synthesize hardware
runtime monitors using High-Level Synthesis to check system requirements that are formalized and expressed in Signal
Temporal Logic. We describe our flow starting from a natural language requirement to hardware implementation. As a case
study, we apply our flow to monitor a mission-critical property of a missile launch.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.