Modelling of synchronous data streams processing in the RPC Muon Tribgger system of the CMS experiment

This paper presents signal synchronization aspects in a large, distributed, multichannel RPC Muon Trigger system in the CMS experiment. The paper is an introduction to normalized structure analysis methods of such systems. The method introduces a general model of the system, presented in a form of a network of distributed, synchronous, pipeline processes. The model is based on a definition of a synchronous data stream and its formal, fundamental properties. Theoretical considerations are supported by a practical application of synchronous streams and processes management. The following processes were modeled and implemented in hardware: window synchronization, de-randomization, data concentration and generation of test pulses. There are presented chosen results of the model application in the CMS experiment at the LHC accelerator