REVERT: A Monitor Generation Tool for Real-Time Systems

Kochanthara, Sangeeth; Nelissen, Geoffrey; Pereira, David; Purandare, Rahul

http://hdl.handle.net/10400.22/9530

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
COM_CISTER_RTSS_2016.pdf		206.38 KB	Adobe PDF	Download
POST_CISTER_RTSS_REVERT_2016.pdf		761.86 KB	Adobe PDF	Download

Send Feedback

Authors

Kochanthara, Sangeeth

Nelissen, Geoffrey

Pereira, David

Purandare, Rahul

Abstract(s)

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.