EDF instantiation of abstract RTA (!14) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Merged Sergey Bozhko requested to merge sbozhko/rt-proofs:EDF_merge into master 6 years ago

May 13, 2019
- Restructure EDF folder · ea37ed6f
  Sergey Bozhko authored 5 years ago and Björn Brandenburg committed 5 years ago
  
  ea37ed6f
- Restructure FP folder · fe1f550b
  Sergey Bozhko authored 5 years ago and Björn Brandenburg committed 5 years ago
  
  fe1f550b
- Generalize instantiation of Interference and Interfering Workload for FP and EDF · 5ddb3c4c
  Sergey Bozhko authored 5 years ago and Björn Brandenburg committed 5 years ago
  
  5ddb3c4c
- Add a corollary about sequential jobs · e5889331
  Sergey Bozhko authored 5 years ago and Björn Brandenburg committed 5 years ago
  
  e5889331
- Add new property of JLFP policy · 7313c486
  Sergey Bozhko authored 5 years ago and Björn Brandenburg committed 5 years ago
  
  7313c486
- Finish EDF instantiation of abstract RTA · 5aef040a
  Sergey Bozhko authored 6 years ago and Björn Brandenburg committed 5 years ago
  
  5aef040a