Logo do repositório
 
Publicação

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

2020Documento de conferência Acesso restrito
Ver registo simples
dc.contributor.authorSpilere Nandi, Giann
dc.contributor.authorPereira, David
dc.contributor.authorProenca, José
dc.contributor.authorTovar, Eduardo
dc.date.accessioned2021-04-21T10:33:14Z
dc.date.available2021-04-21T10:33:14Z
dc.date.issued2020
dc.description.abstractGuaranteeing that safety-critical Cyber-Physical Systems (CPS) do not fail upon deployment is becoming an even more complicated task with the increased use of complex software solutions. To aid in this matter, formal methods (rigorous mathematical and logical techniques) can be used to obtain proofs about the correctness of CPS. In such a context, Runtime Verification has emerged as a promising solution that combines the formal specification of properties to be validated and monitors that perform these validations during runtime. Although helpful, runtime verification solutions introduce an inevitable overhead in the system, which can disrupt its correct functioning if not safely employed. We propose the creation of a Domain Specific Language (DSL) that, given a generic CPS, 1) verifies if its real- time scheduling is guaranteed, even in the presence of coupled monitors, and 2) implements several verification conditions for the correct-by-construction generation of monitoring architectures. To achieve it, we plan to perform statical verifications, derived from the available literature on schedulability analysis, and powered by a set of semi-automatic formal verification tools.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationG. S. Nandi, D. Pereira, J. Proença and E. Tovar, "Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems," 2020 IEEE Real-Time Systems Symposium (RTSS), Houston, TX, USA, 2020, pp. 395-398, doi: 10.1109/RTSS49844.2020.00047.pt_PT
dc.identifier.doi10.1109/RTSS49844.2020.0004pt_PT
dc.identifier.issn2576-3172
dc.identifier.urihttp://hdl.handle.net/10400.22/17848
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherInstitute of Electrical and Electronics Engineerspt_PT
dc.relationRobust and Efficient Approaches to Evaluating Side Channel and Fault Attack Resilience
dc.relationVerification and Validation of Automated Systems' Safety and Security
dc.relation.publisherversionhttps://ieeexplore.ieee.org/document/9355502pt_PT
dc.subjectRuntime verificationpt_PT
dc.subjectCyber-physical systemspt_PT
dc.subjectDSLpt_PT
dc.subjectSafetypt_PT
dc.subjectMode changept_PT
dc.titleWork-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systemspt_PT
dc.typeconference object
dspace.entity.typePublication
oaire.awardNumber731591
oaire.awardNumber876852
oaire.awardTitleRobust and Efficient Approaches to Evaluating Side Channel and Fault Attack Resilience
oaire.awardTitleVerification and Validation of Automated Systems' Safety and Security
oaire.awardURIinfo:eu-repo/grantAgreement/EC/H2020/731591/EU
oaire.awardURIinfo:eu-repo/grantAgreement/EC/H2020/876852/EU
oaire.citation.conferencePlaceOnlinept_PT
oaire.citation.endPage398pt_PT
oaire.citation.startPage395pt_PT
oaire.citation.titleProceedings of the 41st IEEE Real-Time Systems Symposium (RTSS 2020)pt_PT
oaire.fundingStreamH2020
oaire.fundingStreamH2020
person.familyNameProenca
person.familyNameTovar
person.givenNameJose
person.givenNameEduardo
person.identifier.ciencia-id2412-FE81-2767
person.identifier.ciencia-id6017-8881-11E8
person.identifier.orcid0000-0003-0971-8919
person.identifier.orcid0000-0001-8979-3876
person.identifier.ridK-4256-2016
person.identifier.scopus-author-id24067286500
person.identifier.scopus-author-id7006312557
project.funder.identifierhttp://doi.org/10.13039/501100008530
project.funder.identifierhttp://doi.org/10.13039/501100008530
project.funder.nameEuropean Commission
project.funder.nameEuropean Commission
rcaap.rightsclosedAccesspt_PT
rcaap.typeconferenceObjectpt_PT
relation.isAuthorOfPublicationa9b67049-85ec-485a-a937-334ba113f087
relation.isAuthorOfPublication80b63d8a-2e6d-484e-af3c-55849d0cb65e
relation.isAuthorOfPublication.latestForDiscovery80b63d8a-2e6d-484e-af3c-55849d0cb65e
relation.isProjectOfPublication49751611-9e4f-4733-a8e5-c7a7d355f16a
relation.isProjectOfPublication1b3082bd-64c8-41d8-9f32-bb7f4b0d7bde
relation.isProjectOfPublication.latestForDiscovery49751611-9e4f-4733-a8e5-c7a7d355f16a

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura indisponível
Nome:
COM_CISTER_2020.pdf
Tamanho:
602.54 KB
Formato:
Adobe Portable Document Format
Ver/Abrir

Coleções

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