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
RTFM-core: Language and Implementation
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, 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.
ISEP, Instituto Superior de Engenharia do Porto.
Show others and affiliations
2015 (English)In: 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA): Auckland, 15-17 June 2015, Piscataway, NJ: IEEE Communications Society, 2015, 990-995 p., 7334252Conference paper, Published paper (Refereed)
Abstract [en]

Robustness, real-time properties and resource efficiency are key properties to embedded devices of the CPS/IoT era. In this paper we propose a language approach RTFMcore, and show its potential to facilitate the development process and provide highly efficient and statically verifiable implementations. Our programming model is reactive, based on the familiar notions of concurrent tasks and (single-unit) resources. The language is kept minimalistic, capturing the static task, communication and resource structure of the system. Whereas C-source can be arbitrarily embedded in the model, and/or externally referenced, the instep to mainstream development is minimal, and a smooth transition of legacy code is possible. A prototype compiler implementation for RTFM-core is presented. The compiler generates C-code output that compiled together withtheRTFM-kernelprimitivesrunsonbaremetal.TheRTFMkernel guarantees deadlock-lock free execution and efficiently exploits the underlying interrupt hardware for static priority scheduling and resource management under the Stack Resource Policy. This allows a plethora of well-known methods to static verification (response time analysis, stack memory analysis, etc.) to be readily applied. The proposed language and supporting tool-chain is demonstrated by showing the complete process from RTFM-core source code into bare metal executables for a lightweight ARM-Cortex M3 target.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2015. 990-995 p., 7334252
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-39731DOI: 10.1109/ICIEA.2015.7334252Local ID: e965493c-10db-44b6-9031-ca7acaf56f68ISBN: 978-1-4799-8389-6 (electronic)OAI: oai:DiVA.org:ltu-39731DiVA: diva2:1013248
Conference
IEEE Conference on Industrial Electronics and Applications : 15/06/2015 - 17/06/2015
Note
Validerad; 2016; Nivå 1; 20150916 (maalin)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

fulltext(223 kB)128 downloads
File information
File name FULLTEXT01.pdfFile size 223 kBChecksum SHA-512
3acf2acdad8a1630498daae1cc3371494ed5b87f9e155c70bf5f9c2ce423fc60722a87c428c2f8aa227ceb9ea85546cf214b5861b46fe45beae6859b610f9bf7
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Lindgren, PerLindner, MarcusLindner, Andreas
By organisation
Embedded Internet Systems Lab
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 128 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 81 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