Abstract

Testing requirements in the earlier stages of system design is a necessary step in system development. Mobile TV system has been in the spotlight due to widespread use of smart devices. Nowadays, most people in public transportation watch TV programs on their smartphones. However, this activity consumes a lot of smartphone battery power. The solution to this problem can be a cloud-based mobile TV system, which transfers the energy consuming processes to cloud and enables a prolonged, quality user experience enriched by social interaction. CPN tools provide an environment in which we can efficiently edit and simulate time colored Petri nets. This paper builds a Petri net model with CPN tools in order to evaluate the efficiency of the cloud-based mobile TV system. Since Petri net can become too big to handle when dealing with a complex system, we built a hierarchical colored Petri net. Furthermore, to investigate the response time of the system we built a timed Petri net. The introduced Petri net will help software developers to test the requirements of their cloud-based mobile TV systems.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.