Temporal constraints analysis for timing verification of systems
A. Tsikhanovich, E.M. Aboulhamid, Guy Bois · 2008
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.