Login

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, 2016

Abstract:
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.

Authors:
Sangeeth Kochanthara
,
Geoffrey Nelissen
,
David Pereira
,
Rahul Purandare


IEEE Real-Time Systems Symposium (RTSS 2016), RTSS@Work.
Porto, Portugal.



Record Date: 26, Oct, 2016