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
Time for Timber
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, Computer Science.
Luleå tekniska universitet.
2005 (English)Report (Other academic)
Abstract [en]

Embedded systems are often operating under hard real-time constraints, while at the same time being constrained by severe restrictions on power consumption. For such systems, robustness and reliability can be a question of life and death, which calls for rigorous system design and methodologies for validation. In this paper we advocate a design methodology for low-power, real-time systems, based on Timber; a pure reactive system model that allows for formal reasoning about various system properties. We outline how system specifications in Timber can be "compiled" into efficient standalone executables for general light- weight microcontroller based target platforms. Methods for resource analysis and implications to system dimensioning and validation are further discussed.

Place, publisher, year, edition, pages
Luleå: Luleå tekniska universitet, 2005. , 20 p.
Series
Research report / Luleå University of Technology, ISSN 1402-1528 ; 2005:01
National Category
Embedded Systems Computer Sciences
Research subject
Embedded System; Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-24408Local ID: ad625960-a9ff-11db-aeba-000ea68e967bOAI: oai:DiVA.org:ltu-24408DiVA: diva2:997460
Note
Godkänd; 2005; 20070122 (ysko)Available from: 2016-09-29 Created: 2016-09-29 Last updated: 2017-11-24Bibliographically approved

Open Access in DiVA

fulltext(238 kB)8 downloads
File information
File name FULLTEXT01.pdfFile size 238 kBChecksum SHA-512
1959bc4555e1fe66375b0aa30ea7918a308c7b4b9e26cfd79303d656285b3a9b35c2baf2b9b92f3d1872e190c07d04ded04a976f9989548df4b6ebd00321b02c
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lindgren, PerNordlander, JohanSvensson, Linus
By organisation
Embedded Internet Systems LabComputer Science
Embedded SystemsComputer Sciences

Search outside of DiVA

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