| 講演名 | 2016-06-17 モデル検査を用いた人工呼吸器貸出管理システムの検証 宮崎 仁(川崎医療福祉大), 鳥越 貴之(川崎医療福祉大), 茅野 功(川崎医療福祉大), 小笠原 康夫(川崎医科大/川崎医療福祉大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 病院では，業務の効率化や改善を目的として，医療従事者が開発したシステムを稼働することがある．しかしながら，メーカーが開発するシステムと比べ，そのシステムの信頼性は保証されていない．本稿では，VBA を用いて病院内で開発された人工呼吸器伝票管理システムを，形式的検証手法であるモデル検査を用いて検証している．検証の結果，システム内でバグを検出し誤りを引き起こす操作手順を示すことができ，本検査方法の有用性有用性を示唆した． |
| 抄録(英) | In a hospital, medical staffs may be used a system which is developed by themselves for promotion of streamlining and improvement in routine medical works. However, compared with systems which are developed by vendors, reliability is not guaranteed to the system. In this paper, we verify a management system for ventilators which is created using VBA by using model checking. As a result, we detected bugs in the system and shown an operation procedure which invokes a problem. |
| キーワード(和) | モデル検査 / NuSMV / VBA / 人工呼吸器 / 臨床工学技士 / データベース |
| キーワード(英) | Model checking / NuSMV / VBA / Ventilator / Medical engineer / Database |
| 資料番号 | MBE2016-14 |
| 発行日 | 2016-06-10 (MBE) |
| 研究会情報 | |
| 研究会 | MBE |
|---|---|
| 開催期間 | 2016/6/17(から1日開催) |
| 開催地（和） | 北海道大学 |
| 開催地（英） | Hokkaido University |
| テーマ（和） | ME, 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 福岡 豊(工学院大) |
| 委員長氏名（英） | Yutaka Fukuoka(Kogakuin Univ.) |
| 副委員長氏名（和） | 中島 一樹(富山大) |
| 副委員長氏名（英） | Kazuki Nakajima(Univ. of Toyama) |
| 幹事氏名（和） | 田中 久弥(工学院大) / 高野 博史(富山県立大) |
| 幹事氏名（英） | Hisaya Tanaka(Kogakuin Univ.) / Hiroshi Takano(Toyama Pref. Univ.) |
| 幹事補佐氏名（和） | 堀江 亮太(芝浦工大) / 金 主賢(富山大) |
| 幹事補佐氏名（英） | Ryota Horie(Shibaura Inst. of Tech.) / Kim Juhyon(Univ. of Toyama) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on ME and Bio Cybernetics |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | モデル検査を用いた人工呼吸器貸出管理システムの検証 |
| サブタイトル（和） | |
| タイトル（英） | Verification of a management system for ventilator using model checking |
| サブタイトル（和） | |
| キーワード(1)（和/英） | モデル検査 / Model checking |
| キーワード(2)（和/英） | NuSMV / NuSMV |
| キーワード(3)（和/英） | VBA / VBA |
| キーワード(4)（和/英） | 人工呼吸器 / Ventilator |
| キーワード(5)（和/英） | 臨床工学技士 / Medical engineer |
| キーワード(6)（和/英） | データベース / Database |
| 第 1 著者 氏名（和/英） | 宮崎 仁 / Hisashi Miyazaki |
| 第 1 著者 所属（和/英） | 川崎医療福祉大学(略称：川崎医療福祉大) Kawasaki University of Medical Welfare(略称：Kawasaki Univ of Medical Welfare) |
| 第 2 著者 氏名（和/英） | 鳥越 貴之 / Takayuki Torigoe |
| 第 2 著者 所属（和/英） | 川崎医療福祉大学(略称：川崎医療福祉大) Kawasaki University of Medical Welfare(略称：Kawasaki Univ of Medical Welfare) |
| 第 3 著者 氏名（和/英） | 茅野 功 / Isao Kayano |
| 第 3 著者 所属（和/英） | 川崎医療福祉大学(略称：川崎医療福祉大) Kawasaki University of Medical Welfare(略称：Kawasaki Univ of Medical Welfare) |
| 第 4 著者 氏名（和/英） | 小笠原 康夫 / Yasuo Ogasawara |
| 第 4 著者 所属（和/英） | 川崎医科大学/川崎医療福祉大学(略称：川崎医科大/川崎医療福祉大) Kawasaki Medical School/Kawasaki University of Medical Welfare(略称：Kawasaki Medical School/Kawasaki Univ of Medical Welfare) |
| 発表年月日 | 2016-06-17 |
| 資料番号 | MBE2016-14 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | MBE-104 |
| ページ範囲 | pp.27-30(MBE), |
| ページ数 | 4 |
| 発行日 | 2016-06-10 (MBE) |