Specification and synthesis of a multimedia synchronizer

We synthesize the detailed behavior of a synchronizer for multimedia applications. A protocol architecture is presented to separate synchronization concerns from communication issues. Application-level sync requirements (ASR) are built by combining high-level timing primitives and analyzed to detect any inconsistency. The behavior of a synchronizer is modeled as a system of concurrent timed automata. An algorithm is given to transform an ASR into a system of timed automata representing the detailed behavior of the synchronizer. The timed automata model will lend to easy implementation of synchronizers