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.
목차
Abstract 1. Introduction 2. Related Works 2.1. Mobile TV 2.2. Petri Net 3. CPN model 4. Conclusions Acknowledgment References
보안공학연구지원센터(IJSEIA) [Science & Engineering Research Support Center, Republic of Korea(IJSEIA)]
설립연도
2006
분야
공학>컴퓨터학
소개
1. 보안공학에 대한 각종 조사 및 연구
2. 보안공학에 대한 응용기술 연구 및 발표
3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최
4. 보안공학 기술의 상호 협조 및 정보교환
5. 보안공학에 관한 표준화 사업 및 규격의 제정
6. 보안공학에 관한 산학연 협동의 증진
7. 국제적 학술 교류 및 기술 협력
8. 보안공학에 관한 논문지 발간
9. 기타 본 회 목적 달성에 필요한 사업
간행물
간행물명
International Journal of Software Engineering and Its Applications
간기
월간
pISSN
1738-9984
수록기간
2008~2016
등재여부
SCOPUS
십진분류
KDC 505DDC 605
이 권호 내 다른 논문 / International Journal of Software Engineering and Its Applications Vol.9 No.8