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
Towards WCET Analysis of Multicore Architectures using UPPAAL
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-8882-2292
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5297-6548
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4040-3480
2010 (English)In: OpenAccess Series in Informatics, vol. 15, 2010, 2010, 101-112 p.Conference paper, Published paper (Refereed)
Abstract [en]

To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that threads will have to share resources (e.g. some level of cache) and communicate and synchronize with each other. There already exist software libraries (e.g. OpenMP) used to explicitly parallelize available sequential C/C++ and Fortran code, which means that parallel code could be easily obtained. To be able to use parallel software running on multicore architectures in embedded systems with hard real-time constraints, new WCET (Worst-Case Execution Time) analysis methods and tools must be developed. This paper investigates a method based on model-checking a system of timed automata using the UPPAAL tool box. It is found that it is possible to perform WCET analysis on (not too large and complex) parallel systems using UPPAAL. We also show how to model thread synchronization using spinlock-like primitives.

Place, publisher, year, edition, pages
2010. 101-112 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-11024DOI: 10.4230/OASIcs.WCET.2010.101Scopus ID: 2-s2.0-84880118832ISBN: 9783939897217 (print)OAI: oai:DiVA.org:mdh-11024DiVA: diva2:369478
Conference
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010; Brussels; Belgium; 6 July 2010 through 6 July 2010
Note

ISBN: 978-3-85403-268-7

Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Gustavsson, AndreasErmedahl, AndreasLisper, BjörnPettersson, Paul
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 22 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