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:
http://events.dvcon.org/2016/proceedings/papers/02_3.pdf