Minimum Cycle Time Analysis of IPTV Systems
IPTV stands for Internet Protocol Television and any user with an IP device such as a Smartphone can get IPTV service anywhere and anytime as long as the user can access the Internet. Because of this advantage, IPTV is widely believed to be the next killer internet application, and many organizations provide IPTV services. As IPTV becomes popular, formal proofs of IPTV service quality have been attempted. One of them was the minimum cycle time analysis. The minimum cycle time analysis takes a long time when the given system is large. This paper proposes a divide-and-conquer method of minimum cycle time analysis that is much faster than the existing ones.