Sökning: 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 (författare)
- Luleå tekniska universitet,EISLAB
-
- Fresk, Emil (författare)
- Luleå tekniska universitet,Signaler och system
-
- Lindner, Marcus (författare)
- Luleå tekniska universitet,EISLAB
-
visa fler...
-
- Lindner, Andreas (författare)
- Luleå tekniska universitet,EISLAB
-
- Pereira, David J. (författare)
- ISEP, Instituto Superior de Engenharia do Porto
-
- Pinho, Luis Miguel (författare)
- ISEP, Instituto Superior de Engenharia do Porto
-
visa färre...
-
(creator_code:org_t)
- 2016-03-25
- 2016
- Engelska.
-
Ingår i: SIGBED Review. - : Association for Computing Machinery (ACM). - 1551-3688. ; 13:1
- Relaterad länk:
-
https://ltu.diva-por... (primary) (Raw object)
-
visa fler...
-
https://recipp.ipp.p...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- 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)
Nyckelord
- Embedded Systems
- Inbyggda system
- Reglerteknik
- Control Engineering
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas