Temporal constraints analysis for timing verification of systems

In this paper we propose an approach for timing verification of systems with deterministic and non-repetitive behavior. The timing specification of such systems is often formulated as a system of min-max temporal constraints. We present an algorithm handling all constraint types described in the literature and based on the linearization of min-max inequalities. Optimization techniques are proposed to improve the algorithm efficiency. We give different comparisons with the existing methods using several examples.