https://www.mdu.se/

mdu.sePublikationer
Ä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
Static Timing Analysis of Real-Time Operating System Code
Mälardalens högskola, Institutionen för datavetenskap och elektronik.
Mälardalens högskola, Institutionen för datavetenskap och elektronik.
Mälardalens högskola, Institutionen för datavetenskap och elektronik.ORCID-id: 0000-0001-6571-0175
Mälardalens högskola, Institutionen för datavetenskap och elektronik.ORCID-id: 0000-0001-5297-6548
2006 (Engelska)Ingår i: Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers, Springer, 2006, s. 146-160Kapitel i bok, del av antologi (Refereegranskat)
Abstract [en]

Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much used to analyse real production codes. Here, we present a case study where static WCET analysis was used to find upper time bounds for time-critical regions in a commercial real-time operating system. The purpose was not primarily to test the accuracy of the estimates, but rather to investigate the practical difficulties that arise when applying the current WCET analysis methods to this particular kind of code. In particular, we were interested in how labor-intense the analysis becomes, measured by the number of annotations to explicitly constrain the program flow which is necessary to perform the analysis. We also make some qualitative observations regarding what a WCET analysis method would need in order to perform a both convenient and tight analysis of typical operating systems code. In a second set of experiments, we analyzed some standard WCET benchmark codes compiled with different levels of optimization. The purpose of this study was to see how the different compiler optimizations affected the precision of the analysis, and again whether it affected the level of user intervention necessary to obtain an accurate WCET estimate.

Ort, förlag, år, upplaga, sidor
Springer, 2006. s. 146-160
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4313
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-25350DOI: 10.1007/11925040_10ISI: 000244887700010Scopus ID: 2-s2.0-33845918478ISBN: 978-3-540-48928-3 (tryckt)OAI: oai:DiVA.org:mdh-25350DiVA, id: diva2:727573
Tillgänglig från: 2014-06-22 Skapad: 2014-06-22 Senast uppdaterad: 2014-06-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Gustafsson, JanLisper, Björn

Sök vidare i DiVA

Av författaren/redaktören
Ermedahl, AndreasGustafsson, JanLisper, Björn
Av organisationen
Institutionen för datavetenskap och elektronik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 63 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