Communication Structure Refinement using Temporal Constraints Analysis
A. Tsikhanovich, E.M. Aboulhamid, Guy Bois · 2007
In this paper we propose an approach for communication structure exploration and refinement in system design based on temporal constraints analysis. Local consistency property method is generalized to provide an automatic protocol generation or to signal temporal specification inconsistencies, reducing in this way the time needed for the communication design space exploration.