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

Direktlänk
Referera
Referensformat
  • apa
  • 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
Robust real-time applications in Timber
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
Luleå tekniska universitet, Institutionen för system- och rymdteknik.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
2006 (Engelska)Ingår i: 2006 IEEE International Conference on Electro/information Technology: East Lansing. MI, 7 - 10 May 2006, Piscataway, NJ: IEEE Communications Society, 2006, s. 191-196Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE Communications Society, 2006. s. 191-196
Nationell ämneskategori
Inbäddad systemteknik Datavetenskap (datalogi)
Forskningsämne
Inbyggda system; Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-35897DOI: 10.1109/EIT.2006.252112ISI: 000244481700036Scopus ID: 2-s2.0-34250903486Lokalt ID: aa0eb5a0-c70b-11db-98d9-000ea68e967bISBN: 0-7803-9592-1 (tryckt)OAI: oai:DiVA.org:ltu-35897DiVA, id: diva2:1009151
Konferens
International Conference on Electro/information Technology : 07/05/2006 - 10/05/2006
Anmärkning
Godkänd; 2006; 20070228 (ysko)Tillgänglig från: 2016-09-30 Skapad: 2016-09-30 Senast uppdaterad: 2018-07-10Bibliografiskt granskad

Open Access i DiVA

fulltext(8263 kB)91 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 8263 kBChecksumma SHA-512
efaaf56fdb89707e96467cc86f067e787b51391348f10643118c34547360b162fad7f47a6e1f8b44f5d1da99ee0cd26bbb6fe1e75a23dd0f4199c53f651f2ddf
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopushttp://www.eit2006.org/

Personposter BETA

Lindgren, PerNordlander, JohanKero, MartinEriksson, Johan

Sök vidare i DiVA

Av författaren/redaktören
Lindgren, PerNordlander, JohanKero, MartinEriksson, Johan
Av organisationen
EISLABDatavetenskapInstitutionen för system- och rymdteknik
Inbäddad systemteknikDatavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 91 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.

doi
isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • 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