Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example

P. Masci, A. Ayoub, P. Curzon, M. Harrison, Insup Lee, H. Thimbleby
{"title":"Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example","authors":"P. Masci, A. Ayoub, P. Curzon, M. Harrison, Insup Lee, H. Thimbleby","doi":"10.1145/2494603.2480302","DOIUrl":null,"url":null,"abstract":"Medical device regulators such as the US Food and Drug Administration (FDA) aim to make sure that medical devices are reasonably safe before entering the market. To expedite the approval process and make it more uniform and rigorous, regulators are considering the development of reference models that encapsulate safety requirements against which software incorporated in to medical devices must be verified. Safety, insofar as it relates to interactive systems and its regulation, is generally a neglected topic, particularly in the context of medical systems. An example is presented here that illustrates how the interactive behaviour of a commercial Patient Controlled Analgesia (PCA) infusion pump can be verified against a reference model. Infusion pumps are medical devices used in healthcare to deliver drugs to patients, and PCA pumps are particular infusion pump devices that are often used to provide pain relief to patients on demand. The reference model encapsulates the Generic PCA safety requirements provided by the FDA, and the verification is performed using a refinement approach. The contribution of this work is that it demonstrates a concise and semantically unambiguous approach to representing what a regulator's requirements for a particular interactive device might be, in this case focusing on user-interface requirements. It provides an inspectable and repeatable process for demonstrating that the requirements are satisfied. It has the potential to replace the considerable documentation produced at the moment by a succinct document that can be subjected to careful and systematic analysis.","PeriodicalId":163033,"journal":{"name":"Engineering Interactive Computing System","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"52","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Engineering Interactive Computing System","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2494603.2480302","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 52

Abstract

Medical device regulators such as the US Food and Drug Administration (FDA) aim to make sure that medical devices are reasonably safe before entering the market. To expedite the approval process and make it more uniform and rigorous, regulators are considering the development of reference models that encapsulate safety requirements against which software incorporated in to medical devices must be verified. Safety, insofar as it relates to interactive systems and its regulation, is generally a neglected topic, particularly in the context of medical systems. An example is presented here that illustrates how the interactive behaviour of a commercial Patient Controlled Analgesia (PCA) infusion pump can be verified against a reference model. Infusion pumps are medical devices used in healthcare to deliver drugs to patients, and PCA pumps are particular infusion pump devices that are often used to provide pain relief to patients on demand. The reference model encapsulates the Generic PCA safety requirements provided by the FDA, and the verification is performed using a refinement approach. The contribution of this work is that it demonstrates a concise and semantically unambiguous approach to representing what a regulator's requirements for a particular interactive device might be, in this case focusing on user-interface requirements. It provides an inspectable and repeatable process for demonstrating that the requirements are satisfied. It has the potential to replace the considerable documentation produced at the moment by a succinct document that can be subjected to careful and systematic analysis.
医疗器械交互式软件的验证:以PCA输液泵和FDA法规为例
医疗器械监管机构,如美国食品和药物管理局(FDA)旨在确保医疗器械在进入市场之前是合理安全的。为了加快审批过程,使其更加统一和严格,监管机构正在考虑开发参考模型,将纳入医疗设备的软件必须经过验证的安全要求封装起来。安全,只要涉及到互动系统及其监管,通常是一个被忽视的话题,特别是在医疗系统的背景下。这里给出了一个例子,说明了商业患者控制镇痛(PCA)输液泵的交互行为如何可以根据参考模型进行验证。输液泵是医疗保健中用于向患者输送药物的医疗设备,PCA泵是一种特殊的输液泵设备,通常用于根据需要为患者提供疼痛缓解。参考模型封装了FDA提供的Generic PCA安全要求,并且使用改进方法执行验证。这项工作的贡献在于,它展示了一种简洁且语义明确的方法来表示监管机构对特定交互设备的要求,在这种情况下侧重于用户界面要求。它提供了一个可检查和可重复的过程来证明需求得到了满足。它有可能以一份简洁的文件取代目前产生的大量文件,可以进行仔细和系统的分析。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信