A carregar...
Publicação
REVERT: A Monitor Generation Tool for Real-Time Systems
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 206.38 KB | Adobe PDF | |||
| 761.86 KB | Adobe PDF |
Orientador(es)
Resumo(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.
Descrição
IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, RTSS@Work. Porto, Portugal.