! this file: ! https://dataswamp.org/~incal/fps/demo.fps system demo_system { declarations { tasks t1, t2; indexed T, C, R, D, U; scalar S; priority P; } initialise { C[t1] = 2; D[t1] = 10; T[t1] = 10; P[t1] = 1; C[t2] = 4; D[t2] = 15; T[t2] = 15; P[t2] = 2; } formulas { R[i] = C[i] + sigma(hp, ceiling((R[i])/T[j])*C[j]); U[i] = sigma(all, C[j]/T[j]); } }