Browse > Article
http://dx.doi.org/10.9709/JKSS.2010.19.4.161

System Specification-based Design and Verification of Mobile Patient Monitoring System  

Choi, Eun-Jung (서울여자대학교 바롬교양대학 교양전산)
Kim, Myuhng-Joo (서울여자대학교 정보미디어대학 정보보호학)
Publication Information
Journal of the Korea Society for Simulation / v.19, no.4, 2010 , pp. 161-167 More about this Journal
Abstract
To realize the U-healthcare system, the mobile patient monitoring system is of the essence. In this monitoring system, a patient's real-time data on biometrics and location must be transferred to predeterminate destination server ceaselessly. As the number of mobile patients increases steadily or mobile patients are moving into some specific area, the load balancing solution to real-time data congestion problem is needed. In this paper, we propose a new mobile patient monitoring system with Torus topology where three layers are connected hierarchically and the intermediate layer takes charge of priority-based load balancing. For the formalized design and verification of proposed system, we describe the overall structure with connectivity among its components and implement major components in pseudo-code by adopting a system specification-based approach. This approach makes the design and verification of our mobile patient monitoring system more flexible and accurate.
Keywords
U-healthcare system; System specification-based software design; Mobile patient monitoring system;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 H. S. Seo, "Network security agent DEVS simulation modeling," Simulation Modelling Practice and Theory, vol. 14, pp. 481-492, Jul, 2006.   DOI   ScienceOn
2 안시훈, "u-헬스 서비스 모델을 기준으로 한 국내외 현황 및 적용 방안", 정보처리학회지 제15권 제1호, pp. 71-80, 2008년 1월.   과학기술학회마을
3 R. A. Schrenker, "Software engineering for future healthcare and clinical systems," Computer, vol. 39, pp. 26-32, 2006.
4 http://www.mobihealth.org/
5 http://www.futurehealth.rochester.edu/
6 University of Rochester, "Letting the Home Interface with the Healthcare System: New Paradigms for Consumers and Providers," Though Leader's workshop white paper, 2004.
7 Chaitanya Penubarthu, Myuhng-Joo Kim, Insup Lee, "Security in Sensor Networks for Medical Systems Torso Architecture", ICCSA 2005 Lecture Notes in Computer Science, Volume 3480/2005, pp. 156-165, 2005.
8 B.P. Zeigler, H. Praehofer, and T.G. Kim, "Theory of Modeling and Simulation," 2th Ed., Academic Press, Jan. 2000.
9 임성용, 김탁곤, "DEVS 형식론에 기반한 하이브리드 시스템 모델링 시뮬레이션 방법론," 한국시뮬레이션학회 학술대회 논문집, pp. 1-5, 2000년 11월.
10 U. Farooq, G. Wainer and B. Balya, "DEVS modeling of mobile wireless ad hoc networks," Simulation Modelling Practice and Theory, vol. 15, pp. 285-314, May, 2007.   DOI   ScienceOn