analysis/global/basic/interference_bound_edf.v · 9295617e1b811e8d0eeca8ea48f74982b066ccdc · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

816 commits behind the upstream repository.

8 years ago

Restructure directory + Add jitter-aware RTA · a5f12a43

- Added definitions and implementation of jitter-aware RTA for
  uniprocessor scheduling.
- The Prosa directory was restructured to better accomodate the different
  types of arrival sequences and schedules.

a5f12a43

History

Restructure directory + Add jitter-aware RTA

Felipe Cerqueira authored 8 years ago

- Added definitions and implementation of jitter-aware RTA for
  uniprocessor scheduling.
- The Prosa directory was restructured to better accomodate the different
  types of arrival sequences and schedules.

interference_bound_edf.v 56.91 KiB