REVERT: A Monitor Generation Tool for Real-Time Systems
Ref: CISTER-TR-161007 Publication Date: 29, Nov to 2, Dec, 2016
REVERT: A Monitor Generation Tool for Real-Time Systems
Ref: CISTER-TR-161007 Publication Date: 29, Nov to 2, Dec, 2016Abstract:
We present REVERT (which stands for RuntimE VErification for Real-Time systems), a new tool to generate monitors
for real-time systems. REVERT takes specifications written in
a new Domain Specific Language (DSL) and automatically
generates monitors under the form of complete timed deterministic finite automata (DFA). The generated timed DFA can
later be used to generate code that can eventually be integrated
within the monitored system.
Sangeeth Kochanthara
Geoffrey Nelissen
David PereiraDocument:
View
DownloadAdditional Files:
IEEE Real-Time Systems Symposium (RTSS 2016), RTSS@Work.
Porto, Portugal.
Record Date: 26, Oct, 2016
Short links for this page: www.cister-labs.pt/docs/cister_tr_161007 www.cister-labs.pt/docs/1243