Sökning: id:"swepub:oai:DiVA.org:mdh-23782" >
Timing analyzing fo...
Timing analyzing for systems with task execution dependencies
-
- Lu, Yue (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik,Mälardalen Real-Time Research Centre
-
- Nolte, Thomas (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik,Mälardalen Real-Time Research Centre
-
- Bate, Iain (författare)
- University of York
-
visa fler...
-
- Norström, Christer (författare)
- Mälardalens högskola,Akademin för innovation, design och teknik,Mälardalen Real-Time Research Centre
-
visa färre...
-
(creator_code:org_t)
- 2010
- 2010
- Engelska.
-
Ingår i: Proceedings - International Computer Software and Applications Conference. - 9780769540856 ; , s. 515-524
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas