文献

J-GLOBAL ID：201702275729547193   整理番号：17A1772298

ユーザインタフェイスソフトウェアの検証:利用に関連した安全性の要求とプログラム可能な医療機器の例【Powered by NICT】

Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices

著者 (4件)： Harrison Michael D. (Newcastle University, Newcastle upon Tyne, U.K.) ,  Masci Paolo (Departamento de Informa ́tica, Universidade do Minho, Gualtar, Portugal) ,  Campos Jose Creissac (Departamento de Informa ́tica, Universidade do Minho, Gualtar, Portugal) ,  Curzon Paul (Queen Mary University of London, London, U.K.)
資料名： IEEE Transactions on Human-Machine Systems  (IEEE Transactions on Human-Machine Systems)
巻： 47  号： 6  ページ： 834-846  発行年： 2017年 
JST資料番号： W1031A  ISSN： 2168-2291  CODEN： ITHSA6  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 装置は許容できる安全であることを示す一部,しばしば規制基準で必要とされるは,危険性を弱めることが知られている一連の要求を満たすことを示すことである。利用者インタフェイスソフトウエア設計は使用関連安全性要求に従っていることを示すためにどのように関係している。方法論は形式的手法三つの重要な検証課題に対処する約開発者に指針を提供する技術の利用に基づいて提示した:1)モデルを検証し,それはデバイスの忠実な表現であることを示すために2)自然言語で与えられた要求を定式化し,形式化プロセスの利点を実証するために,どのようにおよび3)容易に利用可能な形式的検証ツールを用いたモデルの必要条件を証明する方法。市販デバイスのモデルをこの論文を通して使う方法論を示すことである。要求の代表的なセットを考察した。米国食品医薬品局(FDA)案ドキュメンテーションプログラム可能な医用デバイスのための,関連する国際標準で示されたユーザインタフェイス設計におけるベストプラクティスに基づいている。方法論は,医療機器の承認プロセスを支援する形式的手法を用いての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】

分類 (3件)： 人工知能  (JE08000Z) ,  生産形態  (KB03020E) ,  計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 検証 ,  医療機器