Title

On the Criticality of Probabilistic Worst-Case Execution Time Models

Abstract

Probabilistic approaches to timing analysis derive probability distributions to upper bound task execution time. The main purpose of probability distributions instead of deterministic bounds, is to have more flexible and less pessimistic worst-case models. However, in order to guarantee safe probabilistic worst-case models, every possible execution condition needs to be taken into account.

In this work, we propose probabilistic representations which is able to model every task and system execution conditions, included the worst-cases. Combining probabilities and multiple conditions offers a flexible and accurate representation that can be applied with mixed-critical task models and fault effect characterizations on task executions. A case study with single- and multi-core real-time systems is provided to illustrate the completeness and versatility of the representation framework we provide.

Meeting Name

3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017 (2017: Oct. 23-25, Changsha, China)

Department(s)

Computer Science

Keywords and Phrases

Critical Tasks; Fault Effect; Probabilistic Approaches; Probabilistic Representation; Task Executions; Timing Analysis; Worst-Case Execution Time; Worst-Case Models; Application Programs; Interactive Computer Systems; Probability; Real Time Systems; Software Engineering

International Standard Book Number (ISBN)

978-331969482-5

International Standard Serial Number (ISSN)

0302-9743

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2017 Springer Verlag, All rights reserved.

Share

 
COinS