Search: onr:"swepub:oai:DiVA.org:ltu-39517" >
Abstract Timers and...
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
-
- Lindgren, Per (author)
- Luleå tekniska universitet,EISLAB
-
- Fresk, Emil (author)
- Luleå tekniska universitet,Signaler och system
-
- Lindner, Marcus (author)
- Luleå tekniska universitet,EISLAB
-
show more...
-
- Lindner, Andreas (author)
- Luleå tekniska universitet,EISLAB
-
- Pereira, David J. (author)
- ISEP, Instituto Superior de Engenharia do Porto
-
- Pinho, Luis Miguel (author)
- ISEP, Instituto Superior de Engenharia do Porto
-
show less...
-
(creator_code:org_t)
- 2016-03-25
- 2016
- English.
-
In: SIGBED Review. - : Association for Computing Machinery (ACM). - 1551-3688. ; 13:1
- Related links:
-
https://ltu.diva-por... (primary) (Raw object)
-
show more...
-
https://recipp.ipp.p...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Real-Time For the Masses (RTFM) is a set of languages andtools being developed to facilitate embedded software developmentand provide highly ecient implementations gearedto static verication. The RTFM-kernel is an architecturedesigned to provide highly ecient and predicable Stack ResourcePolicy based scheduling, targeting bare metal (singlecore)platforms.We contribute by introducing a platform independent timerabstraction that relies on existing RTFM-kernel primitives.We develop two alternative implementations for the ARMCortex-M family of MCUs: a generic implementation, usingthe ARM dened SysTick/DWT hardware; and a targetspecic implementation, using the match compare/free runningtimers. While sacricing generality, the latter is moreexible and may reduce overall overhead. Invariants for correctnessare presented, and methods to static and run-timeverication are discussed. Overhead is bound and characterized.In both cases the critical section from release timeto dispatch is less than 2us on a 100MHz MCU. Queue andtimer mechanisms are directly implemented in the RTFMcorelanguage (-core in the following) and can be includedin system-wide scheduling analysis.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Keyword
- Embedded Systems
- Inbyggda system
- Reglerteknik
- Control Engineering
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
To the university's database