Presentation | 2016-06-17 Verification of a management system for ventilator using model checking Hisashi Miyazaki, Takayuki Torigoe, Isao Kayano, Yasuo Ogasawara, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Model checking / NuSMV / VBA / Ventilator / Medical engineer / Database |
Paper # | MBE2016-14 |
Date of Issue | 2016-06-10 (MBE) |
Conference Information | |
Committee | MBE |
---|---|
Conference Date | 2016/6/17(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Hokkaido University |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Yutaka Fukuoka(Kogakuin Univ.) |
Vice Chair | Kazuki Nakajima(Univ. of Toyama) |
Secretary | Kazuki Nakajima(Kogakuin Univ.) |
Assistant | Ryota Horie(Shibaura Inst. of Tech.) / Kim Juhyon(Univ. of Toyama) |
Paper Information | |
Registration To | Technical Committee on ME and Bio Cybernetics |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Verification of a management system for ventilator using model checking |
Sub Title (in English) | |
Keyword(1) | Model checking |
Keyword(2) | NuSMV |
Keyword(3) | VBA |
Keyword(4) | Ventilator |
Keyword(5) | Medical engineer |
Keyword(6) | Database |
1st Author's Name | Hisashi Miyazaki |
1st Author's Affiliation | Kawasaki University of Medical Welfare(Kawasaki Univ of Medical Welfare) |
2nd Author's Name | Takayuki Torigoe |
2nd Author's Affiliation | Kawasaki University of Medical Welfare(Kawasaki Univ of Medical Welfare) |
3rd Author's Name | Isao Kayano |
3rd Author's Affiliation | Kawasaki University of Medical Welfare(Kawasaki Univ of Medical Welfare) |
4th Author's Name | Yasuo Ogasawara |
4th Author's Affiliation | Kawasaki Medical School/Kawasaki University of Medical Welfare(Kawasaki Medical School/Kawasaki Univ of Medical Welfare) |
Date | 2016-06-17 |
Paper # | MBE2016-14 |
Volume (vol) | vol.116 |
Number (no) | MBE-104 |
Page | pp.pp.27-30(MBE), |
#Pages | 4 |
Date of Issue | 2016-06-10 (MBE) |