private double GetDBF_Sporadic_EDF(List<Task> tasks, double t)
{
double dbf_sum = 0;
foreach (Task task in tasks)
{
double floor = Math.Floor((t - task.Phase - task.Deadline) / task.Period + 1);
double times = floor * task.ExecutionTime;
dbf_sum += Math.Max(0, times);
}
return dbf_sum;
}