[논문 리뷰] Model-Driven Design of Clinical Guidance Systems

Maryam Rahmaniheris, Yu Jiang외 1명|arXiv (Cornell University)|2016. 10. 21.

Healthcare Technology and Patient Monitoring참고 문헌 14인용 수 7

한 줄 요약

이 논문은 기관 중심 유한 상태 기계와 의료진 상호작용 모델을 사용하여 임상 지침 시스템을 설계하기 위한 모델 기반 접근법을 제시한다. 이는 UPPAAL과 CTL 공식을 사용하여 형식적으로 검증된다. 이 방법은 실행 가능하고 검증 가능하며 임상적으로 검토 가능한 모델을 가능하게 하여 급성 치료 환경에서 실시간 의사 결정 지원을 지원하며, 심정지 관리에 대해 성공적으로 코드 생성 및 통합이 이루어졌다.

ABSTRACT

Clinical guidance systems have been widely adopted to help medical staffs to avoid preventable medical errors such as delay in diagnosis, treatment or untended deviations from best practice guidelines. However, because patient condition changes rapidly and medical staffs are usually overloaded in acute care setting, how to ensure the correctness of the system reaction to those rapid changes and managing interaction with physicians remains challenging. In this paper, we propose a domain-specific model-driven design approach to address these challenges for designing clinical guidance systems. Firstly, we translate the relevant medical knowledge described in generic literature and different best practice guidelines into a set of executable and indirectly verifiable finite state machine models. We introduce an organ-centric paradigm to construct clinical models, and also develop a physician model to track physician-system interactions and deviations. Secondly, for verification of the compositional system model, we translate the model into timed automata, based on which, we formalize a set of clinical and system safety requirements as computation tree logic(CTL) formulas and use the UPPAAL model checking tool to formally verify those requirements. In this way, the correctness of the model can be mathematically proved. Finally, we can automatically generate the executable code from the verified model using the corresponding code generation tools for finite state machine. For evaluation, we apply the approach to the design of clinical guidance systems for cardiac arrest. The generated code can be deployed and interact with existing guidance systems.

연구 동기 및 목표

• 빠른 환자 상태 변화와 높은 임상 업무 부담 속에서 임상 지침 시스템의 정확성과 안전성을 확보하는 데 도전하는 것.
• 절차적 프로그래밍의 한계를 극복하기 위해 고수준의 실행 가능한 모델을 통해 의료진이 임상 지식을 검토할 수 있도록 허용함으로써 의료진이 시스템에 참여하는 방식을 제공하는 것.
• 환자 상태, 최선의 임상 관행 지침, 의료진-시스템 상호작용 추적을 통합한 사이버-의료-인간 모델을 개발하는 것.
• 시간 기반 자동기계와 모델 체크를 사용하여 임상 및 시스템 안전 요구사항을 형식적으로 검증하여 정확성을 수학적으로 증명하는 것.
• 검증된 모델에서 자동으로 코드를 생성하여 실제 임상 시스템에 배포할 수 있도록 하는 것.

제안 방법

• 기본적인 임상 지침과 의료 지식을 기관 중심 파라다임을 사용하여 실행 가능한 유한 상태 기계 모델로 변환하는 것.
• 의료진-시스템 상호작용을 복합적 의료진 모델을 통해 모델링하여 이탈과 간섭을 추적하는 것.
• Yakindu Statecharts를 사용하여 상호작용적 모델링 및 시뮬레이션을 수행하여 의료진이 동적 임상 검증을 수행할 수 있도록 지원하는 것.
• 수작업으로 Yakindu 모델을 UPPAAL로 변환하여 계산 트리 논리(CTL) 공식을 사용한 형식적 검증을 수행하는 것.
• 임상 및 시스템 안전 요구사항을 CTL 성질로 형식화하고 UPPAAL 모델 체커를 사용하여 검증하는 것.
• 검증된 Yakindu 모델에서 자동으로 자바 코드를 생성하여 기존의 임상 지침 시스템에 통합하는 것.

실험 결과

연구 질문

• RQ1 빠른 환자 상태 변화와 높은 임상 업무 부하 속에서 임상 지침 시스템을 설계하여 정확성을 확보할 수 있는가?
• RQ2 의료진이 쉽게 이해할 수 있는 추상화 수준을 가진 모델 기반 접근법이 임상 검증을 향상시키고 설계 오류를 줄일 수 있는가?
• RQ3 시간 기반 자동기계와 CTL 논리를 사용한 형식적 검증이 임상 지침 모델의 안전성과 정확성을 얼마나 잘 보장할 수 있는가?
• RQ4 실행 가능하고 검증 가능하며 인간이 읽을 수 있는 모델을 얼마나 효과적으로 생성하고 실제 임상 시스템에 통합할 수 있는가?
• RQ5 의료진 상호작용 모델링의 통합이 시스템의 적응성 향상과 최선의 임상 관행 지침 준수에 기여할 수 있는가?

주요 결과

• 기관 중심의 유한 상태 기계 모델은 대사성 산증과 같은 복잡한 임상 상태를 명확하고 추적 가능한 상태 전이로 성공적으로 표현하였다.
• 의료진은 Yakindu 시뮬레이션을 통해 모델을 검토하고 개선할 수 있었으며, 이는 의미 있는 추상화 수준에서 임상 검토를 지원한다는 것을 확인하였다.
• UPPAAL을 사용한 형식적 검증은 핵심 안전 성질을 확인하였으며, 특히 의료진의 이탈 처리가 올바르게 이루어지는지 검증하였다 (예: 성질 P8은 최선의 관행과 정상적인 혈액가스 수치가 모두 존재할 경우 이탈 카운터가 증가함을 보장한다).
• 모델 기반 파ipeline은 검증된 모델에서 자동으로 코드를 생성할 수 있게 하였으며, 이는 심정지 관리용 기존 지침 시스템에 성공적으로 통합되었다.
• 성질 P7는 의료진 모델이 시스템 상태를 정확히 반영하고 있음을 확인하였으며, 임상 상호작용의 정확한 추적을 보장하였다.
• 실제 사례 연구에서 이 접근법은 실현 가능성을 입증하였으며, 검증된 모델과 생성된 코드는 급성 치료 환경에서의 배포에 적합하였다.