private double GetSBF_RM(double t, double Pi, double Theta)
{
double result;
double k_temp = Math.Ceiling((t - (Pi - Theta)) / Pi);
double k = Math.Max(1, k_temp);
if (t >= ((k + 1) * Pi - 2 * Theta) && t <= ((k + 1) * Pi - Theta))
result = t - (k + 1) * (Pi - Theta);
else
result = (k - 1) * Theta;
return result;
}
private double GetDBF_Sporadic_EDF(List<Task> tasks, double t)