Abstract:

The Frame Synchronized Ring (FSR) is a high speed interconnection network (up to 1.6 Gbps and more) developed for a wide range of real-time switching applications in Technical Research Centre of Finalnd (VTT). Examples of such applications are components of Asynchronous Transfer Mode (ATM) networks, high throughput local area networks (LAN) and the distribution of Video on Demand (VOD) services. The high throughput of the FSR is due to an effective distributed medium access control (MAC) mechanism. Some interesting properties of the MAC (e.g. the deadlock freeness, the fairness and maximal worst case waiting sequences) have been extensively analyzed with analytical models and simulations. In this work we use prdecate/transition net formalism (Pr/T-nets) in the modeling and analysis of the FSR. We prove the properties listed above with the Pr/T-net reachability analysis tool, PROD. In addition, we show how the state space of the reachability graph can be reduced by integrating the internal operations of the MAC into as few transitions as possible.