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
Robust real-time applications in 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å University of Technology, Department of Computer Science, Electrical and Space Engineering.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
2006 (English)In: 2006 IEEE International Conference on Electro/information Technology: East Lansing. MI, 7 - 10 May 2006, Piscataway, NJ: IEEE Communications Society, 2006, p. 191-196Conference paper, Published paper (Refereed)
Abstract [en]

Embedded systems are often operating under hard real-time constraints, for example in automotive applications. For such systems, robustness and reliability are crucial, which calls for rigorous system design and methodologies for validation. In this paper we advocate a design methodology for robust, realtime 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 platforms. Methods for resource analysis and implications to system dimensioning and validation are further discussed.

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2006. p. 191-196
National Category
Embedded Systems Computer Sciences
Research subject
Embedded System; Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-35897DOI: 10.1109/EIT.2006.252112ISI: 000244481700036Scopus ID: 2-s2.0-34250903486Local ID: aa0eb5a0-c70b-11db-98d9-000ea68e967bISBN: 0-7803-9592-1 (print)OAI: oai:DiVA.org:ltu-35897DiVA, id: diva2:1009151
Conference
International Conference on Electro/information Technology : 07/05/2006 - 10/05/2006
Note
Godkänd; 2006; 20070228 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2023-09-06Bibliographically approved

Open Access in DiVA

fulltext(8263 kB)531 downloads
File information
File name FULLTEXT01.pdfFile size 8263 kBChecksum SHA-512
efaaf56fdb89707e96467cc86f067e787b51391348f10643118c34547360b162fad7f47a6e1f8b44f5d1da99ee0cd26bbb6fe1e75a23dd0f4199c53f651f2ddf
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopushttp://www.eit2006.org/

Authority records

Lindgren, PerNordlander, JohanKero, MartinEriksson, Johan

Search in DiVA

By author/editor
Lindgren, PerNordlander, JohanKero, MartinEriksson, Johan
By organisation
Embedded Internet Systems LabComputer ScienceDepartment of Computer Science, Electrical and Space Engineering
Embedded SystemsComputer Sciences

Search outside of DiVA

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