Publication
Towards the safe deployment of runtime monitors in mode-change supported Cyber- Physical Systems
| dc.contributor.author | Spilere Nandi, Giann | |
| dc.contributor.author | Pereira, David | |
| dc.contributor.author | Proenca, José | |
| dc.contributor.author | Tovar, Eduardo | |
| dc.date.accessioned | 2023-01-23T10:02:23Z | |
| dc.date.available | 2023-01-23T10:02:23Z | |
| dc.date.issued | 2021-06-28 | |
| dc.description.abstract | Complex safety-critical Cyber-Physical Systems require modern approaches that can provide evidence of their correct functioning. Among the many state-of-the-art approaches is runtime verification, which constantly verifies if a system’s behavior complies with its specification. However, the coupling of monitors causes an inevitable overhead that could compromise the system’s safety. We present the concept of a framework capable of analyzing the schedulability of a set of mode-change supporting Cyber-Physical Systems in the presence of coupled runtime monitors. | pt_PT |
| dc.description.version | N/A | pt_PT |
| dc.identifier.doi | 10.26537/s58r-pb86 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/21750 | |
| dc.language.iso | eng | pt_PT |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | pt_PT |
| dc.subject | Runtime Verification | pt_PT |
| dc.subject | Cyber-Physical Systems | pt_PT |
| dc.subject | Real-Time Scheduling | pt_PT |
| dc.title | Towards the safe deployment of runtime monitors in mode-change supported Cyber- Physical Systems | pt_PT |
| dc.title.alternative | 210608 | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.title | 4th Doctoral Congress in Engineering (DCE 21), Symposium on Electrical and Computer Engineering. | pt_PT |
| person.familyName | NANDI | |
| person.familyName | Proenca | |
| person.familyName | Tovar | |
| person.givenName | GIANN CARLOS | |
| person.givenName | Jose | |
| person.givenName | Eduardo | |
| person.identifier.ciencia-id | 0F12-0F3E-06E1 | |
| person.identifier.ciencia-id | 2412-FE81-2767 | |
| person.identifier.ciencia-id | 6017-8881-11E8 | |
| person.identifier.orcid | 0000-0002-3206-0599 | |
| person.identifier.orcid | 0000-0003-0971-8919 | |
| person.identifier.orcid | 0000-0001-8979-3876 | |
| person.identifier.rid | K-4256-2016 | |
| person.identifier.scopus-author-id | 24067286500 | |
| person.identifier.scopus-author-id | 7006312557 | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | aa673f73-38c8-4db5-8e80-f96582f1e18c | |
| relation.isAuthorOfPublication | a9b67049-85ec-485a-a937-334ba113f087 | |
| relation.isAuthorOfPublication | 80b63d8a-2e6d-484e-af3c-55849d0cb65e | |
| relation.isAuthorOfPublication.latestForDiscovery | 80b63d8a-2e6d-484e-af3c-55849d0cb65e |