tighten bound on maximum ELF busy-interval length (eb8f4172) · Commits · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

P

PROSA - Formally Proven Schedulability Analysis
- Activity
- Members
- Labels

Snippets Groups Projects

eb8f4172

Commit eb8f4172 authored 1 year ago by Meenal Gupta Committed by Björn Brandenburg 1 year ago

Downloads
- Patches
- Plain Diff

tighten bound on maximum ELF busy-interval length

parent 8ed55ead

No related branches found

No related tags found

1 merge request!318Elf bounded nps

Pipeline #85228 passed 1 year ago

Changes 10
Pipelines 1

Expand all Hide whitespace changes

Inline Side-by-side

Showing

analysis/definitions/priority_inversion.v 53 additions, 0 deletions

analysis/definitions/priority_inversion.v
analysis/definitions/request_bound_function.v 10 additions, 1 deletion

analysis/definitions/request_bound_function.v
analysis/facts/busy_interval/existence.v 18 additions, 14 deletions

analysis/facts/busy_interval/existence.v
analysis/facts/busy_interval/pi_cond.v 95 additions, 0 deletions

analysis/facts/busy_interval/pi_cond.v
analysis/facts/model/rbf.v 42 additions, 0 deletions

analysis/facts/model/rbf.v
analysis/facts/priority/classes.v 11 additions, 0 deletions

analysis/facts/priority/classes.v
analysis/facts/priority/jlfp_with_fp.v 55 additions, 9 deletions

analysis/facts/priority/jlfp_with_fp.v
results/elf/rta/bounded_pi.v 180 additions, 52 deletions

results/elf/rta/bounded_pi.v
results/fixed_priority/rta/bounded_pi.v 9 additions, 7 deletions

results/fixed_priority/rta/bounded_pi.v
util/sum.v 25 additions, 0 deletions

util/sum.v

with 498 additions and 83 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment