| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2016-06-17 13:25 モデル検査を用いた人工呼吸器貸出管理システムの検証 ○宮崎 仁・鳥越貴之・茅野 功（川崎医療福祉大）・小笠原康夫（川崎医科大/川崎医療福祉大）  MBE2016-14 |
|
| 抄録 | （和） | 病院では，業務の効率化や改善を目的として，医療従事者が開発したシステムを稼働することがある．しかしながら，メーカーが開発するシステムと比べ，そのシステムの信頼性は保証されていない．本稿では，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 / / | |
| 文献情報 | 信学技報, vol. 116, no. 104, MBE2016-14, pp. 27-30, 2016年6月. | |
| 資料番号 | MBE2016-14 | |
| 発行日 | 2016-06-10 (MBE) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MBE2016-14 |
|
| 研究会情報 | |
| 研究会 | MBE |
| 開催期間 | 2016-06-17 - 2016-06-17 |
| 開催地（和） | 北海道大学 |
| 開催地（英） | Hokkaido University |
| テーマ（和） | ME, 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MBE |
| 会議コード | 2016-06-MBE |
| 本文の言語 | 日本語 |
| タイトル（和） | モデル検査を用いた人工呼吸器貸出管理システムの検証 |
| サブタイトル（和） | |
| タイトル（英） | 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 |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第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) |
| 第5著者 氏名（和/英/ヨミ） | / / |
| 第5著者 所属（和/英） | (略称： ) (略称： ) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2016-06-17 13:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MBE |
| 資料番号 | MBE2016-14 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | no.104 |
| ページ範囲 | pp.27-30 |
| ページ数 | 4 |
| 発行日 | 2016-06-10 (MBE) |
[研究会発表申込システムのトップページに戻る]