Publication
Coordination of Tasks on a Real-Time OS
| dc.contributor.author | Cledou, Guillermina | |
| dc.contributor.author | Proenca, José | |
| dc.contributor.author | Sputh, Bernhard H. C. | |
| dc.contributor.author | Verhulst, Eric | |
| dc.date.accessioned | 2019-09-12T14:23:09Z | |
| dc.date.available | 2019-09-12T14:23:09Z | |
| dc.date.issued | 2019 | |
| dc.description.abstract | VirtuosoNextTM is a distributed real-time operating system (RTOS) developed and supported by Altreonic NV – an embedded technology focused company. The RTOS finds its origins in Hoare’s CSP process algebra and offers a more generic programming model dubbed Interacting Entities. This paper focuses on these interactions, implemented as so-called Hubs. Hubs act as synchronisation and communication mechanisms between the application tasks and implement the services provided by the kernel as a kind of Guarded Protected Action with a well defined semantics. As in any RTOS, having a predictable behaviour in time is crucial. While the kernel provides the most basic services, each carefully designed, tested and optimised, tasks are limited to this handful of basic hubs, leaving the development of more complex synchronization and communication mechanisms up to application specific implementations. In this work we investigate how to support a programming paradigm to compositionally build new services, using notions borrowed from the Reo coordination language, and relieving tasks from coordination aspects while delegating them to the hubs. We formalise the semantics of hubs using an automata model, identify the behaviour of existing hubs, and propose an approach to build new hubs by composing simpler ones. We also provide tools and methods to analyse and simplify hubs under our automata interpretation. In a first experiment several hub interactions are combined into a single more complex hub, which raises the level of abstraction and contributes to a higher productivity for the programmer. Finally, we investigate the impact on the performance by comparing different implementations on an embedded board. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1007/978-3-030-22397-7_15 | |
| dc.identifier.isbn | 978-3-030-22397-7 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/14580 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Springer | pt_PT |
| dc.relation | NORTE-01-0145-FEDER-028550 (REASSURE) | pt_PT |
| dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-030-22397-7_15 | pt_PT |
| dc.subject | VirtuosoNext TM | pt_PT |
| dc.subject | RTOS | pt_PT |
| dc.title | Coordination of Tasks on a Real-Time OS | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Copenhagen, Denmark | pt_PT |
| oaire.citation.endPage | 266 | pt_PT |
| oaire.citation.startPage | 250 | pt_PT |
| oaire.citation.title | Proceedings of the 21st International Conference on Coordination Models and Languages (COORDINATION 2019) | pt_PT |
| person.familyName | Proenca | |
| person.givenName | Jose | |
| person.identifier.ciencia-id | 2412-FE81-2767 | |
| person.identifier.orcid | 0000-0003-0971-8919 | |
| person.identifier.rid | K-4256-2016 | |
| person.identifier.scopus-author-id | 24067286500 | |
| rcaap.rights | restrictedAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | a9b67049-85ec-485a-a937-334ba113f087 | |
| relation.isAuthorOfPublication.latestForDiscovery | a9b67049-85ec-485a-a937-334ba113f087 |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Coordination_of_tasks_on_a_Real_Time_OS.pdf
- Size:
- 686.75 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: