We address the ambitious problem of synthesizing the parameters which stand for the execution speeds in time constrained executions of a real-time system. The core of the paper is a new method based on the Gröbner bases and the so-called Cylindrical Algebraic Decomposition in order to design a simplification algorithm and a test inclusion upon sets of inequalities. The method is illustrated throughout the paper with a small example.