analysis/abstract/abstract_seq_rta.v · 1959a478dae15f5798ca24525bed908f799d0238 · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

4 years ago
580f1e6d
define `service_on` in the class `ProcessorState` · 580f1e6d
Martin Constantino–Bodin authored 4 years ago and Björn Brandenburg committed 3 years ago
```
... instead of `service_in`, to mirror the way
the primitive `scheduled_on` is used to realize
`scheduled_in`.
```
580f1e6d

History
define `service_on` in the class `ProcessorState`
Martin Constantino–Bodin authored 4 years ago and Björn Brandenburg committed 3 years ago
```
... instead of `service_in`, to mirror the way
the primitive `scheduled_on` is used to realize
`scheduled_in`.
```