Enabling parametric feasibility analysis in real-time calculus driven performance evaluation