RealtimeAnalysis.FormPRM.GetDBF_Sporadic_EDF C# (CSharp) Method

        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;
        }