文献

J-GLOBAL ID：201702275745866077   整理番号：17A1772557

医療サイバー-物理システム設計におけるモデリングと統合ヒト相互作用仮説【Powered by NICT】

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design

著者 (5件)： Fu Zhicheng ,  Guo Chunhui ,  Ren Shangping ,  Ou Yizong ,  Sha Lui
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CBMS  ページ： 373-378  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： サイバーフィジカルシステムに対しては,その実行挙動はヒト相互作用挙動の影響を受けたことが多い。しかし,期待されるサイバー物理システムヒト相互作用挙動についての仮定はしばしば非公式に記録されているが,または左もシステム設計における潜在的および特定されていない。残念なことに,医用サイバーフィジカルシステム(M CPS)のような安全性臨界サイバー物理システムにより作られた陰的ヒト相互作用仮定によれば,カタストロフにつながる可能性がある。いくつか最近の米国食品医薬品局(FDA)医療装置である陰的ヒト相互作用仮定のために想起される。本論文では,内科領域におけるヒト相互作用仮定における制約のカテゴリーを分類し,MCPS技術者は人間の相互作用に関する仮定を明示的に指定すると正確に可能にする数学的仮定モデルを開発した。アルゴリズムはシステムモデルと数学的仮定モデルを統合するために開発したシステムの安全性のみならず医療と工学専門家による検証も形式的に既存の形式的検証ツールにより検証できるようにした。数学的仮定モデルとMCPS設計への統合は,一般的に人工呼吸器とMCPSの安全性を改善する可能性があるかを示すために事例研究としてFDA想起医療換気装置シナリオを用いた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *モデリング ,  安全性 ,  人工呼吸器 ,  *ヒト ,  システムモデル ,  米国食品医薬品局 ,  *相互作用 ,  事例研究 ,  アルゴリズム ,  カタストロフィー理論 ,  *システム設計 ,  換気装置 ,  内科学
準シソーラス用語： 形式的検証 ,  サイバーフィジカルシステム , 【Automatic Indexing@JST】

分類 (4件)： データ保護  (JD01020V) ,  計算機網  (JC03000K) ,  計算機システム開発  (JD02010R) ,  リモートセンシング一般  (AD04000L)

タイトルに関連する用語 (8件)： 医療 ,  物理 ,  システム設計 ,  モデリング ,  統合 ,  ヒト ,  相互作用 ,  仮説