DOI QR코드

DOI QR Code

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

이동 환자 상시 모니터링 시스템의 시스템 명세 기법 기반 설계와 검증

  • 최은정 (서울여자대학교 바롬교양대학 교양전산) ;
  • 김명주 (서울여자대학교 정보미디어대학 정보보호학)
  • Received : 2010.10.19
  • Accepted : 2010.12.22
  • Published : 2010.12.31

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.

유-헬스케어(U-Healthcare)에서 이동 환자 상태에 대한 모니터링 기술은 필수적이다. 모니터링 기술에서는 이동 환자의 생체 정보가 동적 위치 정보와 함께 정해진 목적지 서버로 전송되어야 하는데 모니터링할 환자의 수가 증가하며 각 환자의 이동성이 불규칙함에 따라 적절한 부하균형 단계가 중간에 필요해진다. 토르소(Torus) 구조를 기반으로 한 이동 환자 상시 모니터링 시스템에서는 이를 반영하여 먼저 환자 생체 정보를 중간노드로 전송한 후 부하균형 기반의 우선순위 정책에 따라 목적지 서버로 연이어 전송된다. 본 논문에서는 계층적이며 객체지향적인 정형화 명세를 기반으로 하는 시스템 명세 기법을 사용하여 이러한 이동 환자 상시 모니터링 시스템의 전체 구조와 구성 노드들의 결합 관계를 정의한 후 각 요소의 기능을 유사코드로 설계함으로써 본 시스템이 효과적인 환자 정보 수집과 전송, 분배 및 판단에 효율적임을 시스템 명세 기법을 통하여 검증한다.

Keywords

References

  1. 안시훈, "u-헬스 서비스 모델을 기준으로 한 국내외 현황 및 적용 방안", 정보처리학회지 제15권 제1호, pp. 71-80, 2008년 1월.
  2. R. A. Schrenker, "Software engineering for future healthcare and clinical systems," Computer, vol. 39, pp. 26-32, 2006.
  3. http://www.mobihealth.org/
  4. http://www.futurehealth.rochester.edu/
  5. University of Rochester, "Letting the Home Interface with the Healthcare System: New Paradigms for Consumers and Providers," Though Leader's workshop white paper, 2004.
  6. 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.
  7. B.P. Zeigler, H. Praehofer, and T.G. Kim, "Theory of Modeling and Simulation," 2th Ed., Academic Press, Jan. 2000.
  8. 임성용, 김탁곤, "DEVS 형식론에 기반한 하이브리드 시스템 모델링 시뮬레이션 방법론," 한국시뮬레이션학회 학술대회 논문집, pp. 1-5, 2000년 11월.
  9. 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. https://doi.org/10.1016/j.simpat.2006.11.011
  10. H. S. Seo, "Network security agent DEVS simulation modeling," Simulation Modelling Practice and Theory, vol. 14, pp. 481-492, Jul, 2006. https://doi.org/10.1016/j.simpat.2005.08.010