model/task/arrival/arrival_curve_to_rbf.v · e33a1ebe41b1ee17dbed28b3bb9bf91d5a778cf6 · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

4 years ago
e33a1ebe
add standard conversions from arrival curves to RBFs · e33a1ebe
Marco Maida authored 4 years ago and Björn Brandenburg committed 4 years ago
```
max arrival curve + WCET ➔ max RBF
min arrival curve + BCET ➔ min RBF
```
e33a1ebe

History
add standard conversions from arrival curves to RBFs
Marco Maida authored 4 years ago and Björn Brandenburg committed 4 years ago
```
max arrival curve + WCET ➔ max RBF
min arrival curve + BCET ➔ min RBF
```