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
Timing Analysis of Parallel Software Using Abstract Execution
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-8882-2292
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-6571-0175
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-5297-6548
2014 (English)In: VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014) / [ed] McMillan, KL Rival, X, SPRINGER-VERLAG BERLIN , 2014, p. 59-77Conference paper (Refereed)
Abstract [en]

A major trend in computer architecture is multi-core processors. To fully exploit this type of parallel processor chip, programs running on it will have to be parallel as well. This means that even hard real-time embedded systems will be parallel. Therefore, it is of utmost importance that methods to analyze the timing properties of parallel real-time systems are developed. This paper presents an algorithm that is founded on abstract interpretation and derives safe approximations of the execution times of parallel programs. The algorithm is formulated and proven correct for a simple parallel language with parallel threads, shared memory and synchronization via locks.

Place, publisher, year, edition, pages
SPRINGER-VERLAG BERLIN , 2014. p. 59-77
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8318
Keywords [en]
WCET, Parallelism, Multi-core, Abstract interpretation, Abstract execution
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-38384ISI: 000354781700004ISBN: 978-3-642-54013-4 OAI: oai:DiVA.org:mdh-38384DiVA, id: diva2:1182187
Conference
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), JAN 19-21, 2014, San Diego, CA
Available from: 2018-02-12 Created: 2018-02-12 Last updated: 2018-02-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Gustavsson, AndreasGustafsson, JanLisper, Björn

Search in DiVA

By author/editor
Gustavsson, AndreasGustafsson, JanLisper, Björn
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

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