2223242526272825 of 76
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
Real time Rust on multi-core microcontrollers
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. (Embedded Systems)
2020 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Today the majority of embedded software is written in C or C++ using the thread paradigm. C and C++ are memory unsafe programming languages that often appear in CVE (Common Vulnerability and Exploits) reports. Threads are a popular concurrency paradigm in SMP (Symmetric Multi Processor) systems; however, threads can deadlock and are hard to statically analyze for schedulability. At the same time, security is becoming more and more important thanks to the exponential grow of IoT (Internet of Things) devices; meanwhile, vendors are starting to ship more and more heterogeneous multi-core devices where the thread paradigm can not be applied. In this thesis, we present an alternative programming framework for building real time, safety critical and general purpose embedded software that is memory safe by construction and suitable for single-core, homogeneous multi-core and heterogeneous multi-core systems.

Place, publisher, year, edition, pages
2020. , p. 114
Keywords [en]
Rust, real-time, memory safety, embedded, static analysis, stack resource policy, stack analysis, arm, cortex-m
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:ltu:diva-77642OAI: oai:DiVA.org:ltu-77642DiVA, id: diva2:1391552
Subject / course
Student thesis, at least 30 credits
Educational program
Computer Science and Engineering, master's level (120 credits)
Supervisors
Examiners
Available from: 2020-02-14 Created: 2020-02-04 Last updated: 2020-02-14Bibliographically approved

Open Access in DiVA

fulltext(2849 kB)9 downloads
File information
File name FULLTEXT02.pdfFile size 2849 kBChecksum SHA-512
842e6b995237b802f1b9165df2621f847607b36074fdedcdfd0c6d9c8a65750b916833c03dd752fe29ef4cc3646cb363d692eb94be1d60593abcdf14508b401b
Type fulltextMimetype application/pdf

By organisation
Computer Science
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 9 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: 26 hits
2223242526272825 of 76
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