https://www.mdu.se/

mdu.sePublications
Operational message
There are currently operational disruptions. Troubleshooting is in progress.
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
Compositional Timing Analysis
Mälardalen University, School of Innovation, Design and Engineering.
2010 (English)In: Proceedings - 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2010, 2010, p. 144-151Conference paper, Published paper (Refereed)
Abstract [en]

Computing the worst-case execution time (WCET) of real-time tasks is mandatory for the correct functioning of real-time systems. In component-based development (CBD) of real-time embedded systems, a task is typically constructed by composing appropriate software components together. Finding the WCET of a component-constructed task reduces to finding the WCETs of its constituent components and composing them in an appropriate fashion. In this paper we describe a method based on constraint-logic programming (CLP) to produce WCET estimates of real-time tasks where the components' WCETs are expressed parametrically. The experimental results show that the derived WCETs using our approach benefit from an increased tightness while the practical (time) complexity of the approach is manageable.

Place, publisher, year, edition, pages
2010. p. 144-151
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-11030DOI: 10.1109/ICSAMOS.2010.5642071Scopus ID: 2-s2.0-78650937567ISBN: 978-142447938-2 (print)OAI: oai:DiVA.org:mdh-11030DiVA, id: diva2:369484
Conference
2010 10th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2010; Samos; Greece; 19 July 2010 through 22 July 2010
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2025-10-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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