mdh.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
Towards WCET Analysis of Multicore Architectures using UPPAAL
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-8882-2292
Mälardalens högskola, Akademin för innovation, design och teknik.
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-5297-6548
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0003-4040-3480
2010 (Engelska)Ingår i: OpenAccess Series in Informatics, vol. 15, 2010, 2010, s. 101-112Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2010. s. 101-112
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-11024DOI: 10.4230/OASIcs.WCET.2010.101Scopus ID: 2-s2.0-84880118832ISBN: 9783939897217 (tryckt)OAI: oai:DiVA.org:mdh-11024DiVA, id: diva2:369478
Konferens
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010; Brussels; Belgium; 6 July 2010 through 6 July 2010
Anmärkning

ISBN: 978-3-85403-268-7

Tillgänglig från: 2010-11-10 Skapad: 2010-11-10 Senast uppdaterad: 2013-12-03Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Gustavsson, AndreasLisper, BjörnPettersson, Paul

Sök vidare i DiVA

Av författaren/redaktören
Gustavsson, AndreasErmedahl, AndreasLisper, BjörnPettersson, Paul
Av organisationen
Akademin för innovation, design och teknik
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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