mdh.sePublications
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
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems
Prevas AB, Västerås, Sweden.
Mälardalen University, Department of Computer Science and Electronics.
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0001-6571-0175
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0001-5297-6548
Show others and affiliations
2006 (English)In: Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006, p. 212-219Conference paper, Published paper (Refereed)
Abstract [en]

Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. This technique is gradually being entered into industry to analyse real production codes. This article presents a case study where the aiT WCET analysis tool was used to find upper time bounds for task-oriented vehicular control code. The main purpose was 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 manual annotations necessary for calculating a WCET estimate. We were also interested how much tighter WCET estimates will become by manually adding extra annotations, and how much additional work that is needed to give these annotations. We also made some systematic comparisons between calculated and measured WCET estimates for the analysed system. 

Place, publisher, year, edition, pages
2006. p. 212-219
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-6939DOI: 10.1109/ISoLA.2006.63Scopus ID: 2-s2.0-77956445463ISBN: 0769530710 (print)OAI: oai:DiVA.org:mdh-6939DiVA, id: diva2:236949
Conference
2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006; Paphos; Cyprus; 15 November 2006 through 19 November 2006
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-08-26Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Gustafsson, JanLisper, Björn

Search in DiVA

By author/editor
Ermedahl, AndreasGustafsson, JanLisper, Björn
By organisation
Department of Computer Science and Electronics
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 15 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