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 analyzing for systems with task execution dependencies
Mälardalen University, School of Innovation, Design and Engineering. (Mälardalen Real-Time Research Centre)ORCID iD: 0000-0002-7366-7186
Mälardalen University, School of Innovation, Design and Engineering. (Mälardalen Real-Time Research Centre)ORCID iD: 0000-0001-6132-7945
University of York.ORCID iD: 0000-0003-2415-8219
Mälardalen University, School of Innovation, Design and Engineering. (Mälardalen Real-Time Research Centre)ORCID iD: 0000-0003-2855-9220
2010 (English)In: Proceedings - International Computer Software and Applications Conference, 2010, 515-524 p.Conference paper (Refereed)
Abstract [en]

This paper presents a novel approach to timing analysis of complex real-time systems containing data-driven tasks with intricate executiondependencies. Using a system model inspired by industrial control systems, we show how the execution time of tasks can be represented as a mathematical expression instead of a single numeric value. Next, based on this more detailed modeling, we introduce a concrete process of formally obtaining the exact value of both Worst-Case Execution-Time (WCET) and Worst-Case Response-Time (WCRT) of tasks by using upper-part binary search and TIMES (a timed model checker). Finally, in order to show the potential of the proposed approach, we apply it to a model created from a real robotic control system for which the traditional way of obtaining a WCET estimate (through static WCET analysis) on tasks for usage in basic RTA is not appropriate. Our results indicate a significant reduction of pessimism when compared to basic RTA using WCET estimates on tasks given by a basic assumption.

Place, publisher, year, edition, pages
2010. 515-524 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23782DOI: 10.1109/COMPSAC.2010.57Scopus ID: 2-s2.0-78751694616ISBN: 9780769540856 (print)OAI: oai:DiVA.org:mdh-23782DiVA: diva2:682460
Conference
34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010; Seoul; South Korea; 19 July 2010 through 23 July 2010
Available from: 2013-12-27 Created: 2013-12-19 Last updated: 2014-05-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Lu, YueNolte, ThomasBate, IainNorström, Christer
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 16 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