Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Programming embedded real-time systems: implementation techniques for concurrent reactive objects
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
2011 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

An embedded system is a computer system that is a part of a larger device with hardware and mechanical parts. Such a system often has limited resources (such as processing power, memory, and power) and it typically has to meet hard real-time requirements. Today, as the area of application of embedded systems is constantly increasing, resulting in higher demands on system performance and a growing complexity of embedded software, there is a clear trend towards multi-core and multi-processor systems. Such systems are inherently concurrent, but programming concurrent systems using the traditional abstractions (i.e., explicit threads of execution) has been shown to be both difficult and error-prone. The natural solution is to raise the abstraction level and make concurrency implicit, in order to aid the programmer in the task of writing correct code. However, when we raise the abstraction level, there is always an inherent cost. In this thesis we consider one possible concurrency model, the concurrent reactive object approach that offers implicit concurrency at the object level. This model has been implemented in the programming language Timber, which primarily targets development of real-time systems. It is also implemented in TinyTimber, a subset of the C language closely matching Timber’s execution model. We quantify various costs of a TinyTimber implementation of the model (such as context switching and message passing overheads) on a number of hardware platforms and compare them to the costs of the more common thread-based approach. We then demonstrate how some of these costs can be mitigated using stack resource policy. On a separate track, we present a feasibility test for garbage collection in a reactive real-time system with automatic memory management, which is a necessary component for verification of correctness of a real-time system implemented in Timber

Ort, förlag, år, upplaga, sidor
Luleå: Luleå tekniska universitet, 2011.
Serie
Licentiate thesis / Luleå University of Technology, ISSN 1402-1757
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-18171Lokalt ID: 7427cde0-f70f-11df-8b95-000ea68e967bISBN: 978-91-7439-194-7 (tryckt)OAI: oai:DiVA.org:ltu-18171DiVA, id: diva2:991178
Anmärkning
Godkänd; 2011; 20101123 (simait); LICENTIATSEMINARIUM Ämnesområde: Inbyggda system/Embedded Systems Examinator: Professor Per Lindgren, Institutionen för system- och rymdteknik, Luleå tekniska universitet Diskutant: Professor Mikael Sjödin, Mälardalens högskola, Västerås/Eskilstuna Tid: Måndag den 23 maj 2011 kl 13.00 Plats: A1514 - Demostudion, Luleå tekniska universitetTillgänglig från: 2016-09-29 Skapad: 2016-09-29 Senast uppdaterad: 2017-11-24Bibliografiskt granskad

Open Access i DiVA

fulltext(3785 kB)96 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 3785 kBChecksumma SHA-512
0f7062821917217212495c158617f048faf4b29009697369693482581060ea4421be4fd2b041a9cc958e77a3d2265f0d0274ea2cd7e069e9298795c5022f76a8
Typ fulltextMimetyp application/pdf

Personposter BETA

Aittamaa, Simon

Sök vidare i DiVA

Av författaren/redaktören
Aittamaa, Simon
Av organisationen
EISLAB
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 96 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 954 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf