https://www.mdu.se/

mdu.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
Sequential Composition of Execution Time Distributions by Convolution
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5297-6548
Federal University of Bahia, Brazil.
Federal University of Bahia, Brazil.
2011 (English)In: Proc. 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2011): In conjunction with: The 32nd IEEE Real-Time Systems Symposium (RTSS), 29th November – 2nd December 2011, 2011, p. 30-30Conference paper, Published paper (Refereed)
Abstract [en]

Embedded real-time systems are increasingly being assembled from software components. This raises the issue how to find the timing properties for the resulting system. Ideally, these properties can be inferred from the properties of the components: this is the case if the underlying timing model is compositional. However, compositional timing models tend to provide a simplified view. An important question is then: when is a compositional model accurate enough to meet the requirements for an analysis that is based on the model? In this paper we consider a simple, statistical compositional model for execution time distributions of sequentially composed components, which assumes that the distributions of the underlying random variables are independent. This assumption is only approximately correct in general, as dependencies can appear due to both software and hardware effects. We have made an experimental investigation of how hardware features affect the validity of the timing model. The result is that for the most part, the effect of hardware features on the validity of the model is small. The hardware feature with the strongest influence in the experiment was the reorder buffer, followed by branch table associativity, L2 cache size, and out-of order execution.

Place, publisher, year, edition, pages
2011. p. 30-30
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-13608OAI: oai:DiVA.org:mdh-13608DiVA, id: diva2:466151
Conference
4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, 2011, Vienna, Austria, November 29th, 2011
Note

Best paper award.

Available from: 2011-12-15 Created: 2011-12-15 Last updated: 2015-07-31Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

https://www.cs.york.ac.uk/ftpdir/reports/2011/YCS/469/YCS-2011-469.pdf

Authority records

Lisper, Björn

Search in DiVA

By author/editor
Santos, MarceloLisper, Björn
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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