Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Signals and Systems.ORCID iD: 0000-0001-5735-5484
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.ORCID iD: 0000-0002-1791-535X
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Show others and affiliations
2016 (English)In: Vol. 13, no 1Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
2016. Vol. 13, no 1
National Category
Embedded Systems Control Engineering
Research subject
Embedded System; Control Engineering
Identifiers
URN: urn:nbn:se:ltu:diva-39517Local ID: e4d7eb1b-7017-41d4-860e-3fba546502caOAI: oai:DiVA.org:ltu-39517DiVA: diva2:1013030
Conference
Embedded Systems Week 2015 : 04/10/2015 - 09/10/2015
Note
Godkänd; 2016; Bibliografisk uppgift: Special Issue on 5th Embedded Operating Systems Workshop (EWiLi 2015); 20151216 (maalin); Konferensartikel i tidskriftAvailable from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-12-15Bibliographically approved

Open Access in DiVA

fulltext(344 kB)131 downloads
File information
File name FULLTEXT01.pdfFile size 344 kBChecksum SHA-512
8f1a146ec32e8f5a1dfe49757a2c479022b6733fa5115bc8694f88cccba54716c6fe219ee5a983d5e3dd4a6b5dc2f3b601d617d53cc288644dc51afb6e6aea85
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lindgren, PerFresk, EmilLindner, MarcusLindner, Andreas
By organisation
Embedded Internet Systems LabSignals and Systems
Embedded SystemsControl Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 131 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 359 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf