Paper Abstract and Keywords |
Presentation |
2016-06-17 13:25
Verification of a management system for ventilator using model checking Hisashi Miyazaki, Takayuki Torigoe, Isao Kayano (Kawasaki Univ of Medical Welfare), Yasuo Ogasawara (Kawasaki Medical School/Kawasaki Univ of Medical Welfare) MBE2016-14 |
Abstract |
(in Japanese) |
(See Japanese page) |
(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) |
(in English) |
Model checking / NuSMV / VBA / Ventilator / Medical engineer / Database / / |
Reference Info. |
IEICE Tech. Rep., vol. 116, no. 104, MBE2016-14, pp. 27-30, June 2016. |
Paper # |
MBE2016-14 |
Date of Issue |
2016-06-10 (MBE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
MBE2016-14 |
|