mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: OpenAccess Series in Informatics, vol. 15, 2010, 2010, s. 101-112Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2010. s. 101-112
HSV kategori
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
Konferanse
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010; Brussels; Belgium; 6 July 2010 through 6 July 2010
Merknad

ISBN: 978-3-85403-268-7

Tilgjengelig fra: 2010-11-10 Laget: 2010-11-10 Sist oppdatert: 2013-12-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Gustavsson, AndreasLisper, BjörnPettersson, Paul

Søk i DiVA

Av forfatter/redaktør
Gustavsson, AndreasErmedahl, AndreasLisper, BjörnPettersson, Paul
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 40 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf