# Library prosa.analysis.facts.model.arrival_curves

Require Export prosa.util.epsilon.

Require Export prosa.model.task.arrival.curves.

Require Export prosa.analysis.facts.model.task_arrivals.

Require Export prosa.model.task.arrival.curves.

Require Export prosa.analysis.facts.model.task_arrivals.

# Facts About Arrival Curves

Consider any kind of tasks characterized by an upper-bounding arrival curve...

... and the corresponding type of jobs.

Consider an arbitrary task ...

... and an arrival sequence ...

... that is compliant with the upper-bounding arrival curve.

If we have evidence that a job of the task tsk ...

... arrives at any point in time, ...

... then the maximum number of job arrivals in a non-empty interval cannot
be zero.