Commit f2a8fb15 authored by Sophie Quinton's avatar Sophie Quinton

workload bound modified

parent 179ca8e4
......@@ -24,7 +24,7 @@ Module WorkloadBound.
div_floor (delta + R_tsk - task_cost tsk) (task_period tsk).
(* Bertogna and Cirinei's bound on the workload of a task in an interval of length delta *)
Definition W :=
Definition W := (* To be changed *)
let e_k := (task_cost tsk) in
let p_k := (task_period tsk) in
minn e_k (delta + R_tsk - e_k - max_jobs * p_k) + max_jobs * e_k.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment