efficiently approximating the probability of deadline
play

Efficiently Approximating the Probability of Deadline Misses in - PowerPoint PPT Presentation

Feb 05, 2023 •340 likes •1.22k views

Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems Georg von der Br uggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, and Katharina Morik Department of Computer Science TU Dortmund University, Germany 04

  1. Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems Georg von der Br¨ uggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, and Katharina Morik Department of Computer Science TU Dortmund University, Germany 04 July 2018 Supported by DFG, Collaborative Research Center SFB876, subproject A1. von der Br¨ uggen et al. (TU Dortmund) 1 / 19

  2. Table of Contents Motivation and Problem Definition Job-Level Convolution Task-Level Convolution Runtime Improvement Evaluation von der Br¨ uggen et al. (TU Dortmund) 2 / 19

  3. Rare Deadline Misses in Real-Time Systems • Usual assumption: hard real-time constraints von der Br¨ uggen et al. (TU Dortmund) 3 / 19

  4. Rare Deadline Misses in Real-Time Systems • Usual assumption: hard real-time constraints • Rare deadline misses often acceptable • Industrial safety standards • IEC-61508 • ISO-26262 von der Br¨ uggen et al. (TU Dortmund) 3 / 19

  5. Rare Deadline Misses in Real-Time Systems • Usual assumption: hard real-time constraints • Rare deadline misses often acceptable • Industrial safety standards • IEC-61508 • ISO-26262 • Soft real-time systems von der Br¨ uggen et al. (TU Dortmund) 3 / 19

  6. Rare Deadline Misses in Real-Time Systems • Usual assumption: hard real-time constraints • Rare deadline misses often acceptable • Industrial safety standards • IEC-61508 • ISO-26262 • Soft real-time systems • Important criteria: probability of deadline miss von der Br¨ uggen et al. (TU Dortmund) 3 / 19

  7. Rare Deadline Misses in Real-Time Systems • Usual assumption: hard real-time constraints • Rare deadline misses often acceptable • Industrial safety standards • IEC-61508 • ISO-26262 • Soft real-time systems • Important criteria: probability of deadline miss • Safe upper bound von der Br¨ uggen et al. (TU Dortmund) 3 / 19

  8. Task Model and Notation τ i ( C i , D i , T i ) C N τ i i • Uniprocessor, fixed priority • Sporadic tasks von der Br¨ uggen et al. (TU Dortmund) 4 / 19

  9. Task Model and Notation τ i ( C i , D i , T i ) C N τ i i • Uniprocessor, fixed priority • Sporadic tasks, implicit deadlines: D i = T i ∀ τ i von der Br¨ uggen et al. (TU Dortmund) 4 / 19

  10. Task Model and Notation τ i (( C N i , C A i ) , D i , T i ) Normal Case C N τ i i Rare, Special Case C A C A τ i i i • Uniprocessor, fixed priority • Sporadic tasks, implicit deadlines: D i = T i ∀ τ i • C A i ≥ C N here: C A i = 2 · C N i i von der Br¨ uggen et al. (TU Dortmund) 4 / 19

  11. Task Model and Notation τ i (( C N i , C A i , P ( C A i ) , P ( C N i )) , D i , T i ) Normal Case C N τ i i Rare, Special Case C A C A τ i i i • Uniprocessor, fixed priority • Sporadic tasks, implicit deadlines: D i = T i ∀ τ i • C A i ≥ C N here: C A i = 2 · C N i i • P ( C A i ) ≪ P ( C N i ) • P ( C A i ) + P ( C N i ) = 1 von der Br¨ uggen et al. (TU Dortmund) 4 / 19

  12. Task Model and Notation τ i (( C N i , C A i , P ( C A i ) , P ( C N i )) , D i , T i ) Normal Case C N τ i i Rare, Special Case C A C A τ i i i • Uniprocessor, fixed priority • Sporadic tasks, implicit deadlines: D i = T i ∀ τ i • C A i ≥ C N here: C A i = 2 · C N i i • P ( C A i ) ≪ P ( C N i ) • P ( C A i ) + P ( C N i ) = 1 • Probabilities independent von der Br¨ uggen et al. (TU Dortmund) 4 / 19

  13. Task Model and Notation Normal Case C N τ i i Rare, Special Case C A C A τ i i i • Uniprocessor, fixed priority • Sporadic tasks, implicit deadlines: D i = T i ∀ τ i • C A i ≥ C N i , here: C A i = 2 · C N i • P ( C A i ) ≪ P ( C N i ) • P ( C A i ) + P ( C N i ) = 1 • Probabilities independent von der Br¨ uggen et al. (TU Dortmund) 4 / 19

  14. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  15. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  16. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  17. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  18. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  19. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  20. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) for 0 < t ≤ D k von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  21. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) for 0 < t ≤ D k • Probability of Deadline Miss: Φ k = min 0 < t ≤ D k P ( S t > t ) von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  22. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) for 0 < t ≤ D k • Probability of Deadline Miss: Φ k = min 0 < t ≤ D k P ( S t > t ) • Upper bound: any subset of points in (0 , D k ] von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  23. Probability of Deadline Miss τ 1 = (1 , 6) τ 2 = (2 , 9) τ 3 = (2 , 12) τ 4 = (1 , 19) τ 5 = (3 , 22) t 0 5 10 15 20 • Looking at lowest priority task • Normally: TDA binary decision • P ( S t > t ) for 0 < t ≤ D k • Probability of Deadline Miss: Φ k = min 0 < t ≤ D k P ( S t > t ) • Upper bound: any subset of points in (0 , D k ] • Convolution-based approach: enumerate the state space von der Br¨ uggen et al. (TU Dortmund) 5 / 19

  24. Convolution � 3 � 5 � � C 1 5 6 = C 2 P 1 = ⊗ 0 . 9 0 . 1 0 . 8 0 . 2 P 2 von der Br¨ uggen et al. (TU Dortmund) 6 / 19

  25. Convolution � 3 � 5 � � C 1 5 6 = C 2 P 1 = ⊗ 0 . 9 0 . 1 0 . 8 0 . 2 P 2 � � von der Br¨ uggen et al. (TU Dortmund) 6 / 19

  26. Convolution � 3 � 5 � � C 1 5 6 = C 2 P 1 = ⊗ 0 . 9 0 . 1 0 . 8 0 . 2 P 2 � 8 � 0 . 72 von der Br¨ uggen et al. (TU Dortmund) 6 / 19

  27. Convolution � 3 � 5 � � C 1 5 6 = C 2 P 1 = ⊗ 0 . 9 0 . 1 0 . 8 0 . 2 P 2 � 8 � 9 0 . 72 0 . 18 von der Br¨ uggen et al. (TU Dortmund) 6 / 19

  28. Convolution � 3 � 5 � � C 1 5 6 = C 2 P 1 = ⊗ 0 . 9 0 . 1 0 . 8 0 . 2 P 2 � 8 � 9 10 0 . 72 0 . 18 0 . 08 von der Br¨ uggen et al. (TU Dortmund) 6 / 19

  29. Convolution � 3 � 5 � � C 1 5 6 = C 2 P 1 = ⊗ 0 . 9 0 . 1 0 . 8 0 . 2 P 2 � 8 � 9 10 11 0 . 72 0 . 18 0 . 08 0 . 02 von der Br¨ uggen et al. (TU Dortmund) 6 / 19

  30. Convolution � 3 � 5 � � C 1 5 6 = C 2 P 1 = ⊗ 0 . 9 0 . 1 0 . 8 0 . 2 P 2 � 8 � 9 10 11 0 . 72 0 . 18 0 . 08 0 . 02 • State-of-the-art: job-wise convolution from 0 to D k von der Br¨ uggen et al. (TU Dortmund) 6 / 19

  31. Job-Level Convolution τ 1 � 3 C 1 5 � P 1 = 0 . 9 0 . 1 D 1 = T 1 = 8 τ 2 � 5 C 2 6 � P 2 = 0 . 8 0 . 2 D 2 = T 2 = 14 von der Br¨ uggen et al. (TU Dortmund) 7 / 19

  32. Job-Level Convolution t = 0 t = 8 t = 14 τ 1 � 3 C 1 5 � P 1 = 0 . 9 0 . 1 D 1 = T 1 = 8 τ 2 � 5 C 2 6 � P 2 = 0 . 8 0 . 2 D 2 = T 2 = 14 von der Br¨ uggen et al. (TU Dortmund) 7 / 19

  33. Job-Level Convolution t = 0 t = 8 t = 14 � 3 � 5 τ 1 5 � 6 � � 3 0 . 9 0 . 1 0 . 8 0 . 2 C 1 5 � P 1 = 0 . 9 0 . 1 D 1 = T 1 = 8 τ 2 � 5 C 2 6 � P 2 = 0 . 8 0 . 2 D 2 = T 2 = 14 � 0 � 1 von der Br¨ uggen et al. (TU Dortmund) 7 / 19

  34. Job-Level Convolution t = 0 t = 8 t = 14 � 3 � 5 τ 1 5 � 6 � � 3 0 . 9 0 . 1 0 . 8 0 . 2 C 1 5 � P 1 = 0 . 9 0 . 1 D 1 = T 1 = 8 � 3 � 0 . 9 τ 2 � 5 C 2 6 � P 2 = 0 . 8 0 . 2 D 2 = T 2 = 14 � 0 � 1 � 5 � 0 . 1 von der Br¨ uggen et al. (TU Dortmund) 7 / 19

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Efficiently Estimating the Probability of Extensions in Abstract Argumentation Bettina Fazzinga,

Efficiently Estimating the Probability of Extensions in Abstract Argumentation Bettina Fazzinga,

Introduction Background Estimating Prsem Experiments Conclusions and future work Efficiently Estimating the Probability of Extensions in Abstract Argumentation Bettina Fazzinga, Sergio Flesca, Francesco Parisi DIMES Department University of

727 views • 55 slides
speaking, an extent measure of P either computes certain statistics of P itself or of a (possibly

speaking, an extent measure of P either computes certain statistics of P itself or of a (possibly

Geometric Approximation via Coresets Pankaj K. Agarwal Sariel Har-Peled Kasturi R. Varadarajan February 22, 2005 Abstract The paradigm of coresets has recently emerged as a powerful tool for efficiently approximating various extent

460 views • 24 slides
Inducing Efficiently Inducing Efficiently optimizi optimizing outpati ng outpatient i ent

Inducing Efficiently Inducing Efficiently optimizi optimizing outpati ng outpatient i ent

Inducing Efficiently Inducing Efficiently optimizi optimizing outpati ng outpatient i ent induction nduction of labour of labour Janet Lyons Henry Woo MD FRCSC MD MPH CCFP FRCSC Medical Lead, High Risk Obstetrics

913 views • 54 slides
Unit 2: Probability and distributions Lecture 1: Probability and conditional probability

Unit 2: Probability and distributions Lecture 1: Probability and conditional probability

Unit 2: Probability and distributions Lecture 1: Probability and conditional probability Statistics 101 Thomas Leininger May 21, 2013 Announcements Announcements 1 Probability 2 Randomness Defining probability Law of large numbers

1.36k views • 76 slides
Approximating incomputable sets Timothy H. McNicholl Department of Mathematics Iowa State

Approximating incomputable sets Timothy H. McNicholl Department of Mathematics Iowa State

Computability Theory Approximating the incomputable- the Ershov hierarchy Asymptotic density Approximating incomputable sets Timothy H. McNicholl Department of Mathematics Iowa State University mcnichol@iastate.edu Groups and Computation,

690 views • 46 slides
Overview of the Lecture II Probability of what The axioms of probability Joint

Overview of the Lecture II Probability of what The axioms of probability Joint

Overview of the Lecture II Probability of what The axioms of probability Joint probability distribution Probability of propositions Notation P(x) : read probability of x-pression Expressions are statements about the

332 views • 20 slides
Where we are going Where we have been Where we are now PUSD Running ning Ef Efficiently

Where we are going Where we have been Where we are now PUSD Running ning Ef Efficiently

Where we are going Where we have been Where we are now PUSD Running ning Ef Efficiently iently Running efficiently despite our obstacles Desp spit ite e our Obsta tacles cles Miller Valley Elementary School Washington Elementary

341 views • 18 slides
Probability: Theory and practice Philipp Slusallek Karol Myszkowski Gurprit Singh 1

Probability: Theory and practice Philipp Slusallek Karol Myszkowski Gurprit Singh 1

Probability: Theory and practice Philipp Slusallek Karol Myszkowski Gurprit Singh 1 Realistic Image Synthesis SS2018 Administrative updates Please register for the exams (in HISPOS for Computer Science). Withdrawal deadline is

2.33k views • 183 slides
Optimal Bounds between f -Divergences and Integral Probability Metrics Rohit Agrawal (Harvard)

Optimal Bounds between f -Divergences and Integral Probability Metrics Rohit Agrawal (Harvard)

Optimal Bounds between f -Divergences and Integral Probability Metrics Rohit Agrawal (Harvard) Thibaut Horel (MIT) Motivation Is the empirical distribution approximately normal? What is the normal distribution best approximating it? 1 1.0

217 views • 21 slides
Announcements HW 1 deadline is postponed to next Tuesday before class, e.g., HW 1 deadline is

Announcements HW 1 deadline is postponed to next Tuesday before class, e.g., HW 1 deadline is

Announcements Announcements HW 1 deadline is postponed to next Tuesday before class, e.g., HW 1 deadline is postponed to next Tuesday before class, e.g., 3:30 pm 3:30 pm 1 1 CS6501: T opics in Learning and Game Theory (Fall 2019) Swap

567 views • 35 slides
Further Improvement in Approximating the Maximum Duo-Preservation

Further Improvement in Approximating the Maximum Duo-Preservation

Further Improvement in Approximating the Maximum Duo-Preservation String Mapping Problem Brian Brubach University of Maryland, College Park 16 th Workshop on

555 views • 53 slides
1 A statistical definition of probability: frequentist 2 concepts: 1. Sam ple space , S , is the

1 A statistical definition of probability: frequentist 2 concepts: 1. Sam ple space , S , is the

Probability and Likelihood, a brief introduction in support of a course on m olecular evolution ( BI OL 3 0 4 6 ) Probability The subject of probability is a branch of mathematics dedicated to building models to describe conditions of

244 views • 12 slides
Unit 2: Probability and distributions 1. Probability and conditional probability GOVT 3990 -

Unit 2: Probability and distributions 1. Probability and conditional probability GOVT 3990 -

Unit 2: Probability and distributions 1. Probability and conditional probability GOVT 3990 - Spring 2017 Cornell University Dr. Garcia-Rios Slides posted at http://garciarios.github.io/govt_3990/ Outline 1. Main ideas 1. Disjoint and

451 views • 21 slides
1 A statistical definition of probability: frequentist 2 concepts: 1. Sample space , S , is the

1 A statistical definition of probability: frequentist 2 concepts: 1. Sample space , S , is the

Probability and Likelihood, a brief introduction in support of a course on molecular evolution (BIOL 3046) Probability The subject of probability is a branch of mathematics dedicated to building models to describe conditions of uncertainty and

559 views • 12 slides
Chapter 2 Probability 1. Definition of Probability 2. Probability of disjoint events 3.

Chapter 2 Probability 1. Definition of Probability 2. Probability of disjoint events 3.

Chapter 2 Probability 1. Definition of Probability 2. Probability of disjoint events 3. Probability of non-disjoint events 4. Probability of complement of an event 5. Probability of independent events 6. Probability of a conditional

363 views • 13 slides
Chapter 2 Probability 1. Definition of Probability 2. Probability of disjoint events 3.

Chapter 2 Probability 1. Definition of Probability 2. Probability of disjoint events 3.

Chapter 2 Probability 1. Definition of Probability 2. Probability of disjoint events 3. Probability of non-disjoint events 4. Probability of complement of an event 5. Probability of independent events 6. Probability of a conditional

182 views • 14 slides
Polynomial Inequalities in the Complex Plane Vladimir Andrievskii Kent State University Crete,

Polynomial Inequalities in the Complex Plane Vladimir Andrievskii Kent State University Crete,

Polynomial Inequalities in the Complex Plane Vladimir Andrievskii Kent State University Crete, 2018 Vladimir Andrievskii Polynomial Inequalities in the Complex Plane Remez-type Inequalities Remez 36 : n 2 + s 2 + s

808 views • 70 slides
Formal Proofs of Inequalities and Semi-Definite Programming Supervisor: Benjamin Werner (TypiCal)

Formal Proofs of Inequalities and Semi-Definite Programming Supervisor: Benjamin Werner (TypiCal)

Formal Proofs of Inequalities and Semi-Definite Programming Supervisor: Benjamin Werner (TypiCal) Co-Supervisor: Stphane Gaubert (Maxplus) 2 nd year PhD Victor MAGRON LIX, cole Polytechnique Friday November 27 th 2011 2 nd year PhD Victor

397 views • 14 slides
Quantum Chebyshevs Inequality and Applications Yassine Hamoudi, Frdric Magniez IRIF ,

Quantum Chebyshevs Inequality and Applications Yassine Hamoudi, Frdric Magniez IRIF ,

Quantum Chebyshevs Inequality and Applications Yassine Hamoudi, Frdric Magniez IRIF , Universit de Paris, CNRS Mean Estimation Problem How many i.i.d. samples x 1 , x 2 , from some unknown bounded r.v. X [0,B] do we need to

459 views • 44 slides
On Estimation of Modal Decompositions Anuran Makur, Gregory W. Wornell, and Lizhong Zheng

On Estimation of Modal Decompositions Anuran Makur, Gregory W. Wornell, and Lizhong Zheng

On Estimation of Modal Decompositions Anuran Makur, Gregory W. Wornell, and Lizhong Zheng Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology IEEE International Symposium on Information Theory 2020 A.

1.12k views • 79 slides
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments Satoshi

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments Satoshi

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments Satoshi Kura 1,2 Natsuki Urabe 1 Ichiro Hasuo 1,2 1 National Institute of Informatics, Tokyo, Japan 2 The Graduate University for Advanced Studies (SOKENDAI),

773 views • 51 slides
California: Trying to keep it real in the Trump years. Policy Insights 2018 CBPC Jared

California: Trying to keep it real in the Trump years. Policy Insights 2018 CBPC Jared

California: Trying to keep it real in the Trump years. Policy Insights 2018 CBPC Jared Bernstein CBPP Bernstein@cbpp.org Bridges, not Walls: CA in the Trump era. Gov. Brown: in California we are focusing on bridges, not walls

540 views • 20 slides
A connection between the Uncertainty Principles on the real line (Heisenberg) and on the circle

A connection between the Uncertainty Principles on the real line (Heisenberg) and on the circle

A connection between the Uncertainty Principles on the real line (Heisenberg) and on the circle (Breitenberger) Nils Byrial Andersen Aarhus University Alba, 18 June, 2013 Nils Byrial Andersen Aarhus University A connection between the

867 views • 47 slides
Self-bounding functions and concentration of variance Andreas Maurer Advances in stochastic

Self-bounding functions and concentration of variance Andreas Maurer Advances in stochastic

Self-bounding functions and concentration of variance Andreas Maurer Advances in stochastic inequalities and their applications, BIRS 2009 Notation and denitions := Q n k =1 k is some product space with product probability = n

622 views • 15 slides

More recommend