KIISE Transactions on Computing Practices (정보과학회 컴퓨팅의 실제 논문지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지
DOI QR코드

DOI QR Code

Pattern-based Design and Safety Analysis for Networked Supervisory Medical Systems

네트워크 통합형 의료기기를 위한 안전한 상호작용 패턴과 구조적 안전성 검사

  • 강우철 (인천대학교 임베디드시스템공학과)
  • Received : 2014.07.08
  • Accepted : 2014.08.28
  • Published : 2014.10.15
⟨ Previous Next ⟩

Abstract

There are growing demands for improving the patient safety and the effectiveness of medical services through device connectivity and interoperability. However, integration through networking might greatly increase the complexity of the system if it is not properly designed, jeopardizing patient safety. In this paper, we codify safe medical device interaction patterns, and exploit them for the low complexity design and safety analysis of networked supervisory medical systems. We implement the proposed approach as a plug-in of Architecture Analysis and Description Language (AADL). Our implementation enables the modeling and safety analysis of medical devices and their interactions before actual development.

통신기능과 상호연동가능성을 통해 의료기기들을 통합 제어함으로써 의료서비스의 효율과 환자의 안전성을 높이려는 요구가 증가하고 있다. 그러나, 네트워크와 제어컴퓨터를 통한 의료기기의 통합이 체계적이지 못할 경우 시스템의 복잡도를 크게 높이게 되며, 이는 안전사고의 위험성을 높일 가능성이 있다. 본 논문에서는 의료기기간의 안전한 상호작용 형태를 패턴으로 분류하였으며, 이를 이용하여 네트워크 통합형 의료기기의 제어 구조를 계층적으로 설계하고 안전성을 검사하는 방법을 제시한다. 제안된 기법은 Architecture Analysis and Description Language (AADL)의 플러그인으로써 구현되었다. AADL환경에서 의료기기들을 가상으로 통합하고, 이들의 구조적인 안전성 여부를 검사할 수 있게 함으로써, 실제 개발에 앞서 안전성을 검증할 수 있게 된다.

Keywords

Acknowledgement

Supported by : 인천대학교

References

  1. MD PnP, "Medical device "plug-and-play" interoperability progam," http://mdpnp.org, 2014.
  2. ASTM F2761-09 Medical Devices and Medical Systems - Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) - Part 1: General requirements and conceptual model, ASTM Standard Std., 2009.
  3. W. Kang, et al., "Towards organ-centric compositional development of safe networked supervisory medical systems," IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS), Jun. 2013.
  4. P. Feiler, et al., "The sae architecture analysis and design language (aadl) a standard for engineering performance critical systems," in IEEE International Symposium on Intelligent Control, 2006, pp. 1206-1211.
  5. R. M. Hofmann, "Modeling medical devices for plug-and-play interoperability," Master's thesis, MIT, 2007.
  6. R. Alur, et al., "Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) infusion pump control system," International Journal on Software Tools for Technology Transfer, Vol. 5, No. 4, pp. 308-319, 2004. https://doi.org/10.1007/s10009-003-0132-7
  7. J. Rinehart, et al., "Closed-loop systems in anesthesia: is there a potential for closed-loop fluid management and hemodynamic optimization?" Anesth Analg., Vol. 114, No. 1, pp. 130-143, 2012. https://doi.org/10.1213/ANE.0b013e318230e9e0