Commits · a22561824d683e45708db93e7ab3563d60170a91 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

Nov 24, 2015
- Latest chanes · a2256182
  Felipe Cerqueira authored 9 years ago
  
  a2256182
- Work on EDF convergence · fd890585
  Felipe Cerqueira authored 9 years ago
  
  fd890585
- Fix compilation error · cc1596a1
  Felipe Cerqueira authored 9 years ago
  
  cc1596a1
- Fix conflict · e74a474d
  Felipe Cerqueira authored 9 years ago
  
  e74a474d
- Latest changes · 22de3602
  Felipe Cerqueira authored 9 years ago
  
  22de3602
Nov 23, 2015
- Working on Guan workload bounds · 659c1982
  Felipe Cerqueira authored 9 years ago
  
  659c1982
Nov 20, 2015
- Finish Guan computation · cded3d3f
  Felipe Cerqueira authored 9 years ago
  
  cded3d3f
- Fix definition of Guan's test · 1af2ba70
  Felipe Cerqueira authored 9 years ago
  
  1af2ba70
Nov 18, 2015
- Fix Guan Interference Bound · 77d5fb76
  Felipe Cerqueira authored 9 years ago
  
  77d5fb76
Nov 17, 2015
- Start workload carry · 1705a0e2
  Felipe Cerqueira authored 9 years ago
  
  1705a0e2
- Fix names of EDF bound · eb9dedb4
  Felipe Cerqueira authored 9 years ago
  
  eb9dedb4
- Fix EDF workload bound · 9c2cc2b1
  Felipe Cerqueira authored 9 years ago
  
  9c2cc2b1
- Clean-up file · dcfefb31
  Felipe Cerqueira authored 9 years ago
  
  dcfefb31
- Fix proof of R >= task_cost tsk · 550ee8c5
  Felipe Cerqueira authored 9 years ago
  
  550ee8c5
- Latest changes · 69dc663c
  Felipe Cerqueira authored 9 years ago
  
  69dc663c
- Pending proof · f4794aae
  Felix Stutz authored 9 years ago and Felipe Cerqueira committed 9 years ago
  
  f4794aae
- EDF proofs · 66217ac9
  Felix Stutz authored 9 years ago and Felipe Cerqueira committed 9 years ago
  
  66217ac9
- Fix EDF theory · 776225a6
  Felix Stutz authored 9 years ago and Felipe Cerqueira committed 9 years ago
  
  776225a6
- Fix names of EDF bound · 8383f41b
  Felipe Cerqueira authored 9 years ago
  
  8383f41b
- Fix EDF workload bound · b5863397
  Felipe Cerqueira authored 9 years ago
  
  b5863397
Nov 13, 2015
- Clean-up file · 639617d7
  Felipe Cerqueira authored 9 years ago
  
  639617d7
- Fix proof of R >= task_cost tsk · 35253b72
  Felipe Cerqueira authored 9 years ago
  
  35253b72
- Latest changes · 557b10ec
  Felipe Cerqueira authored 9 years ago
  
  557b10ec
- Pending proof · d377e95f
  Felix Stutz authored 9 years ago
  
  d377e95f
- EDF proofs · 42393c4b
  Felix Stutz authored 9 years ago
  
  42393c4b
Nov 10, 2015
- Fix EDF theory · 6cd683cc
  Felix Stutz authored 9 years ago
  
  6cd683cc
- Merge branch 'master' of gitlab.rts.mpi-sws.org:felipec/rt-scheduling-spec · 0c9ab33b
  Felipe Cerqueira authored 9 years ago
  
  0c9ab33b
- Start Guan analysis · e672b3ab
  Felipe Cerqueira authored 9 years ago
  
  e672b3ab
- Fix makefile · 62b892e7
  Felipe Cerqueira authored 9 years ago
  
  62b892e7
- Add EDF files · 5314c6ad
  Felipe Cerqueira authored 9 years ago
  
  5314c6ad
- Start Guan analysis · febf2ef8
  Felipe Cerqueira authored 9 years ago
  
  febf2ef8
Nov 04, 2015
- Fix EDF files · 234a4777
  Felipe Cerqueira authored 9 years ago
  
  234a4777
Nov 03, 2015
- Add EDF theory file · 01a8082a
  Felipe Cerqueira authored 9 years ago
  
  01a8082a
- Simplify proof · 16380315
  Felipe Cerqueira authored 9 years ago
  
  16380315
- Fix typo · ef6038b4
  Felipe Cerqueira authored 9 years ago
  
  ef6038b4
Oct 28, 2015
- Simplify names · b1e09b5d
  Felipe Cerqueira authored 9 years ago
  
  b1e09b5d
- Clean-up Job code · b4b4726e
  Felipe Cerqueira authored 9 years ago
  
  b4b4726e
- Clean-up task file · 6eb1ce76
  Felipe Cerqueira authored 9 years ago
  
  6eb1ce76
- Finish FP RTA with jitter · c5240f4f
  Felipe Cerqueira authored 9 years ago
  
  c5240f4f
Oct 27, 2015
- Prove workload bound with jitter · 724884f9
  Felipe Cerqueira authored 9 years ago
  
  724884f9