Repository logo
 
Publication

MARS: Safely instrumenting runtime monitors in real-time resource-constrained distributed systems

2024Journal article Restricted access
Simple item page
dc.contributor.authorNandi, Giann
dc.contributor.authorPereira, David
dc.contributor.authorProenca, José
dc.contributor.authorTovar, Eduardo
dc.date.accessioned2024-09-13T10:03:49Z
dc.date.available2024-09-13T10:03:49Z
dc.date.issued2024
dc.description.abstractAdvancements in the energy efficiency and computational power of embedded devices allow developers to equip resource-constrained systems with a greater number of features and more complex behavior. As complexity of a system grows, so does the difficulty in demonstrating its overall correctness. Formal methods have been successfully applied in a variety of verification and validation scenarios, but their wide adoption in the industry and academia is still lackluster. Among the explanations listed in the literature for the low adoption of these techniques are the perceived difficulty of getting into formal practices and how formal tools are not usually aimed at practical use cases. Striving to address these issues, we present MARS, an open-source domain-specific language for the safe instrumentation of runtime verification monitors into real-time resource-constrained distributed systems. Our main objective with MARS is to ease the integration of runtime verification monitors in distributed applications while also providing developers with evidence of their correct instrumentation in the context of systems where dependability and temporal requirements need to be respected even under extreme resource constraints. We present the language syntax, the set of tools embedded into its compiler, its functionalities, and a use case to exemplify its use in a practical distributed application.pt_PT
dc.description.versioninfo:eu-repo/semantics/draftpt_PT
dc.identifier.citationNandi, G., Pereira, D., Proença, J. & Tovar, E. (2024). MARS: safely instrumenting runtime monitors in real-time resource-constrained distributed systems. RECIPPpt_PT
dc.identifier.urihttp://hdl.handle.net/10400.22/25997
dc.language.isoengpt_PT
dc.subjectRuntime verificationpt_PT
dc.subjectReal-timept_PT
dc.subjectSafetypt_PT
dc.subjectDomain-specific languagept_PT
dc.subjectMicro-ROSpt_PT
dc.subjectROS2pt_PT
dc.titleMARS: Safely instrumenting runtime monitors in real-time resource-constrained distributed systemspt_PT
dc.typejournal article
dspace.entity.typePublication
person.familyNameNANDI
person.familyNamePereira
person.familyNameProenca
person.familyNameTovar
person.givenNameGIANN CARLOS
person.givenNameDavid
person.givenNameJose
person.givenNameEduardo
person.identifier.ciencia-id0F12-0F3E-06E1
person.identifier.ciencia-id2412-FE81-2767
person.identifier.ciencia-id6017-8881-11E8
person.identifier.orcid0000-0002-3206-0599
person.identifier.orcid0000-0002-9851-0679
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
rcaap.rightsopenAccess
rcaap.typearticlept_PT
relation.isAuthorOfPublicationaa673f73-38c8-4db5-8e80-f96582f1e18c
relation.isAuthorOfPublicationf58e1e61-3caa-4e5a-ab19-31121d881779
relation.isAuthorOfPublicationa9b67049-85ec-485a-a937-334ba113f087
relation.isAuthorOfPublication80b63d8a-2e6d-484e-af3c-55849d0cb65e
relation.isAuthorOfPublication.latestForDiscovery80b63d8a-2e6d-484e-af3c-55849d0cb65e

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
CISTER-TR-240603.pdf
Size:
459.45 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 – Artigos