Publication
SMT-based Schedulability Analysis using RMTL- R
| dc.contributor.author | Pedro, André | |
| dc.contributor.author | Pereira, David | |
| dc.contributor.author | Pinho, Luís Miguel | |
| dc.contributor.author | Sousa Pinto, Jorge | |
| dc.date.accessioned | 2017-02-07T10:14:09Z | |
| dc.date.available | 2017-02-07T10:14:09Z | |
| dc.date.issued | 2016 | |
| dc.description | IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal. | pt_PT |
| dc.description.abstract | Several methods have been proposed for performing schedulability analysis for both uni-processor and multi-processor real-time systems. Very few of these works use the power of formal logic to write unambiguous specifications and to allow the usage of theorem provers for building the proofs of interest with greater correctness guarantees. In this paper we address this challenge by: 1) defining a formal language that allows to specify periodic resource models; 2) describe a transformational approach to reasoning about timing properties of resource models by transforming the latter specifications into a SMT problem. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1145/3166227.3166234 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/9529 | |
| dc.language.iso | eng | pt_PT |
| dc.relation | Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments | |
| dc.relation.ispartofseries | RTSS;2016 | |
| dc.title | SMT-based Schedulability Analysis using RMTL- R | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments | |
| oaire.awardURI | info:eu-repo/grantAgreement/EC/FP7/621429/EU | |
| oaire.citation.conferencePlace | 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal | pt_PT |
| oaire.citation.title | IEEE Real-Time Systems Symposium | pt_PT |
| oaire.fundingStream | FP7 | |
| person.familyName | Pinho | |
| person.givenName | Luis Miguel | |
| person.identifier.ciencia-id | 8112-2108-F3B2 | |
| person.identifier.orcid | 0000-0001-6888-1340 | |
| person.identifier.rid | M-3416-2013 | |
| person.identifier.scopus-author-id | 6602594556 | |
| project.funder.identifier | http://doi.org/10.13039/501100008530 | |
| project.funder.name | European Commission | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | fd791145-af93-47d9-bbe8-647a326d2f39 | |
| relation.isAuthorOfPublication.latestForDiscovery | fd791145-af93-47d9-bbe8-647a326d2f39 | |
| relation.isProjectOfPublication | c05ca6d0-eb47-46e6-93ae-3218a8c9ee48 | |
| relation.isProjectOfPublication.latestForDiscovery | c05ca6d0-eb47-46e6-93ae-3218a8c9ee48 |