Enabling Parametric Feasibility Analysis in Real-time Calculus Driven Performance Evaluation