Preemption model compliance (!114) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged LailaElbeheiry requested to merge LailaElbeheiry/rt-proofs:preemption-model-compliance into master 4 years ago

Mar 12, 2021
- Polish · 7846744b
  Marco Maida authored 4 years ago
  
  7846744b
- Removed empty lines causing some error in the spell check · 1fb9e77a
  Marco Maida authored 4 years ago
  
  1fb9e77a
- Shortened, restructured, polished proofs · 35ed3fa3
  Marco Maida authored 4 years ago
  
  35ed3fa3
- Now -> by · 6b15dbb0
  Marco Maida authored 4 years ago
  
  6b15dbb0
Mar 11, 2021
- polish prosa.implementation.facts.ideal_uni.preemption_aware · f3039ae5
  Björn Brandenburg authored 4 years ago
  
  f3039ae5
- polish prosa.implementation.facts.ideal_uni.prio_aware · a76ae969
  Björn Brandenburg authored 4 years ago
  
  a76ae969
- extract schedule_up_to_identical_prefix corollary for reuse · 8b22505b
  Björn Brandenburg authored 4 years ago
  
  8b22505b
- added the np_respect_preemption_model lemma · 1a52af28
  LailaElbeheiry authored 4 years ago and Björn Brandenburg committed 4 years ago
  
  Proved that np_uni_schedule respects the preemption model Proved priority compliance of uni_schedule.
  1a52af28