[論文レビュー] Model-Driven Design of Clinical Guidance Systems

Maryam Rahmaniheris, Yu Jiang+1 more|arXiv (Cornell University)|Oct 21, 2016

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モデルから自動的にJavaコードを生成し、既存の臨床指針システムに統合する。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、急速な患者状態の変化と高い臨床作業負荷の下でも、臨床指針システムの正しさを保証できるか？
• RQ2 医師が理解できる抽象化を用いたモデル駆動型アプローチは、臨床的レビューの質を向上させ、システム設計における誤りを低減できるか？
• RQ3 タイムド・オートマトンとCTL論理による形式的検証は、臨床指針モデルの安全性と正しさをどの程度保証できるか？
• RQ4 実行可能で検証可能かつ人間が読みやすいモデルを効果的に生成し、実臨床システムに統合できるか？
• RQ5 医師のインタラクションモデルの統合は、システムの適応性と最良臨床実践ガイドラインへの準拠性を向上させることができるか？

主な発見

• 臓器中心の有限状態機械モデルは、代謝性酸中毒のような複雑な臨床状態を明確で追跡可能な状態遷移として効果的に表現した。
• 医師はYakinduシミュレーションを用いてモデルを検証・改善可能であり、このアプローチが意味のある抽象化レベルでの臨床レビューを可能にしていることが確認された。
• UPPAALを用いた形式的検証により、重要な安全性特性が確認された。例えば、性質P8は、最良臨床実践と正常な血液ガス値が両方存在する場合に逸脱カウンタが増加することを保証している。
• モデル駆動パイプラインにより、検証済みモデルから自動的にコード生成が可能となり、心停止管理のための既存の指針システムに成功裏に統合された。
• 性質P7は、医師モデルがシステム状態を正しく反映しており、臨床的インタラクションの正確な追跡が可能であることを確認した。
• 本アプローチは、実際の事例研究において実現可能であることが示され、検証済みモデルと生成コードが急性ケア環境への展開に適していることが確認された。