Repository logo
 
Publication

REVERT: A Monitor Generation Tool for Real-Time Systems

2016Conference object Open access
Simple item page
dc.contributor.authorKochanthara, Sangeeth
dc.contributor.authorNelissen, Geoffrey
dc.contributor.authorPereira, David
dc.contributor.authorPurandare, Rahul
dc.date.accessioned2017-02-07T10:17:09Z
dc.date.available2017-02-07T10:17:09Z
dc.date.issued2016
dc.descriptionIEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, RTSS@Work. Porto, Portugal.pt_PT
dc.description.abstractWe 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.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.urihttp://hdl.handle.net/10400.22/9530
dc.language.isoengpt_PT
dc.relationEmbedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments
dc.relation.ispartofseriesRTSS;2016
dc.titleREVERT: A Monitor Generation Tool for Real-Time Systemspt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.awardTitleEmbedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments
oaire.awardURIinfo:eu-repo/grantAgreement/EC/FP7/621429/EU
oaire.citation.conferencePlace29, Nov to 2, Dec, 2016, RTSS@Work. Porto, Portugalpt_PT
oaire.citation.titleIEEE Real-Time Systems Symposiumpt_PT
oaire.fundingStreamFP7
project.funder.identifierhttp://doi.org/10.13039/501100008530
project.funder.nameEuropean Commission
rcaap.rightsopenAccesspt_PT
rcaap.typeconferenceObjectpt_PT
relation.isProjectOfPublicationc05ca6d0-eb47-46e6-93ae-3218a8c9ee48
relation.isProjectOfPublication.latestForDiscoveryc05ca6d0-eb47-46e6-93ae-3218a8c9ee48

Files

Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
COM_CISTER_RTSS_2016.pdf
Size:
206.38 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
POST_CISTER_RTSS_REVERT_2016.pdf
Size:
761.86 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ISEP – CISTER – Comunicações em eventos científicos