tweak busy-SBF definition to depend on a task (f6219222) · 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

f6219222

Commit f6219222 authored 11 months ago by Sergey Bozhko

Downloads
- Patches
- Plain Diff

tweak busy-SBF definition to depend on a task

parent 9e1adae7

No related branches found

No related tags found

1 merge request!369RTAs for three preemption models of RS FP

Changes 12

Hide whitespace changes

Inline Side-by-side

Showing

analysis/abstract/restricted_supply/abstract_rta.v 7 additions, 7 deletions

analysis/abstract/restricted_supply/abstract_rta.v
analysis/abstract/restricted_supply/abstract_seq_rta.v 5 additions, 5 deletions

analysis/abstract/restricted_supply/abstract_seq_rta.v
analysis/abstract/restricted_supply/bounded_bi/edf.v 10 additions, 16 deletions

analysis/abstract/restricted_supply/bounded_bi/edf.v
analysis/abstract/restricted_supply/bounded_bi/fp.v 10 additions, 15 deletions

analysis/abstract/restricted_supply/bounded_bi/fp.v
analysis/abstract/restricted_supply/bounded_bi/jlfp.v 10 additions, 15 deletions

analysis/abstract/restricted_supply/bounded_bi/jlfp.v
analysis/abstract/restricted_supply/busy_sbf.v 20 additions, 8 deletions

analysis/abstract/restricted_supply/busy_sbf.v
analysis/abstract/restricted_supply/search_space/fifo_fixpoint.v 4 additions, 4 deletions

...s/abstract/restricted_supply/search_space/fifo_fixpoint.v
analysis/definitions/sbf/busy.v 21 additions, 8 deletions

analysis/definitions/sbf/busy.v
results/rs/edf/fully_nonpreemptive.v 7 additions, 5 deletions

results/rs/edf/fully_nonpreemptive.v
results/rs/edf/fully_preemptive.v 7 additions, 5 deletions

results/rs/edf/fully_preemptive.v
results/rs/fifo/bounded_nps.v 6 additions, 5 deletions

results/rs/fifo/bounded_nps.v
results/rs/fp/fully_preemptive.v 6 additions, 5 deletions

results/rs/fp/fully_preemptive.v

with 113 additions and 98 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