analysis/facts/sporadic.v · f7a3157043ad1bfc4aad900a8db7eda446696c69 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

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

339 commits behind the upstream repository.

3 years ago
f7a31570
sporadic tasks analysis: remove unnecessary offset parameter · f7a31570
Björn Brandenburg authored 3 years ago
```
Arguments about sporadic tasks do not reason about offsets as future
arrival times are unknown.
```
f7a31570

History
sporadic tasks analysis: remove unnecessary offset parameter
Björn Brandenburg authored 3 years ago
```
Arguments about sporadic tasks do not reason about offsets as future
arrival times are unknown.
```

sporadic.v 10.97 KiB