Publication
Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs
| dc.contributor.author | Lindgren, Per | |
| dc.contributor.author | Fresk, Emil | |
| dc.contributor.author | Lindner, Marcus | |
| dc.contributor.author | Lindner, Andreas | |
| dc.contributor.author | Pereira, David | |
| dc.contributor.author | Pinho, Luís Miguel | |
| dc.date.accessioned | 2015-12-21T17:02:33Z | |
| dc.date.available | 2015-12-21T17:02:33Z | |
| dc.date.issued | 2015 | |
| dc.description | Presented at Embed with Linux Workshop (EWiLi 2015). 4 to 9, Oct, 2015. Amsterdam, Netherlands. | pt_PT |
| dc.description.abstract | Real-Time For the Masses (RTFM) is a set of languages andto ols b eing develop ed to facilitate emb edded software development and provide highly efficient implementations gearedto static verification. The RTFM-kernel is an architecturedesigned to provide highly efficient and predicable Stack Resource Policy based scheduling, targeting bare metal (singlecore) platforms.We contribute b eyond prior work by intro ducing a platform independent timer abstraction that relies on existingRTFM-kernel primitives. We develop two alternative implementations for the ARM Cortex-M family of MCUs: ageneric implementation, using the ARM defined SysTick-/DWT hardware; and a target sp ecific implementation, using the match compare/free running timers. While sacrificing generality, the latter is more flexible and may reduceoverall overhead. Invariants for correctness are presented,and metho ds to static and run-time verification are discussed. Overhead is b ound and characterized. In b oth casesthe critical section from release time to dispatch is less than2us on a 100MHz MCU. Queue and timer mechanisms aredirectly implemented in the RTFM-core language and canb e included in system-wide scheduling analysis. | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/7207 | |
| dc.language.iso | eng | pt_PT |
| dc.relation | FCOMP-01-0124-FEDER-037281 (CISTER) | pt_PT |
| dc.relation | ARTEMIS/0001/2013, JU grant nr. 621429 (EMC2) | pt_PT |
| dc.relation.ispartofseries | EWiLi 2015; | |
| dc.title | Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | 4 to 9, Oct, 2015. Amsterdam, Netherlands | pt_PT |
| oaire.citation.title | Embed with Linux Workshop (EWiLi 2015). | pt_PT |
| 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 | |
| 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 |