Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Licentiatavhandling, med artikler (Annet vitenskapelig)
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

sted, utgiver, år, opplag, sider
Luleå: Luleå tekniska universitet, 2011.
Serie
Licentiate thesis / Luleå University of Technology, ISSN 1402-1757
HSV kategori
Forskningsprogram
Inbyggda system
Identifikatorer
URN: urn:nbn:se:ltu:diva-18171Lokal ID: 7427cde0-f70f-11df-8b95-000ea68e967bISBN: 978-91-7439-194-7 (tryckt)OAI: oai:DiVA.org:ltu-18171DiVA, id: diva2:991178
Merknad
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 universitetTilgjengelig fra: 2016-09-29 Laget: 2016-09-29 Sist oppdatert: 2017-11-24bibliografisk kontrollert

Open Access i DiVA

fulltekst(3785 kB)89 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 3785 kBChecksum SHA-512
0f7062821917217212495c158617f048faf4b29009697369693482581060ea4421be4fd2b041a9cc958e77a3d2265f0d0274ea2cd7e069e9298795c5022f76a8
Type fulltextMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Aittamaa, Simon
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 89 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 377 treff
RefereraExporteraLink to record
Permanent link

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