Skip to content

Definitions for arrival curves

Maxime Lesourd requested to merge new-curves into master

This is a port (+additions) of the definitions and semantics for arrival curves (model/arrival/curves.v). As a prerequisite, this includes definitions about activations of a task (model/task_arrivals.v).

Two additional definitions which were not found in the original library but will be useful to us in the future:

  • in schedule.v : completes_at
  • in task_arrivals.v : arrivals_come_from_taskset

We still need some comments related to arrival curves and we need some feedback from @sbozhko and @bbb on the definitions of arrival curves.

We will also see how much work would be involved in integrating the conversions of arrival curves we have lying around.

Merge request reports