Complete proof of Abstract RTA (!9) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

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

Apr 05, 2019
- Finish FP instantiation of abstract RTA · 3fd984a4
  Sergey Bozhko authored 6 years ago
  
  3fd984a4
- Add platform for models with bounded nonpreemptive segments · ccd2b0ca
  Sergey Bozhko authored 6 years ago
  
  ccd2b0ca
- Add notion of busy interval · 13dc6eaf
  Sergey Bozhko authored 6 years ago
  
  13dc6eaf
- Finish Abstract RTA · 915e32e7
  Sergey Bozhko authored 6 years ago
  
  915e32e7
- Add schedule file for Abstract RTA · 5d071830
  Sergey Bozhko authored 6 years ago
  
  5d071830
- Add notion of Request Bound Function · d9829b6d
  Sergey Bozhko authored 6 years ago
  
  d9829b6d
- Add notion of nonpreemptive schedule · 9bb1010d
  Sergey Bozhko authored 6 years ago
  
  9bb1010d
- Add new definitions and lemmas to service and workload files · d3c64ee5
  Sergey Bozhko authored 6 years ago
  
  d3c64ee5
- Add lemmas about arrivals_between · 58d8d0ab
  Sergey Bozhko authored 6 years ago
  
  58d8d0ab
- Update util files · 83918615
  Sergey Bozhko authored 6 years ago
  
  83918615
- Add notion of epsilon · e1e81f86
  Sergey Bozhko authored 6 years ago
  
  e1e81f86
- Add workload bound file · b74062d6
  Sergey Bozhko authored 6 years ago
  
  b74062d6
- Add notion of arrival curves · 0be6dd67
  Sergey Bozhko authored 6 years ago
  
  0be6dd67
- Update .gitignore · a928c106
  Sergey Bozhko authored 6 years ago
  
  a928c106