An Integrated Development and Certification Environment for a Medical Device Coordination Framework
医疗器械协调框架的集成开发和认证环境
基本信息
- 批准号:1065887
- 负责人:
- 金额:$ 8万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2011
- 资助国家:美国
- 起止时间:2011-01-01 至 2012-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Medical devices historically have been monolithic units -- developed, validated, and approved by regulatory authorities as stand-alone entities. Yet modern medical devices increasingly incorporate connectivity mechanisms that offer the potential to integrate devices via network/middleware technology into larger systems of cooperating devices. This NSF-FDA Scholar In Residence research project supports interaction by this NSF-supported academic research team with the FDA Center for Device and Radiological Health (CDRH), as well as with a team from the Center for Integration of Medicine and Technology and a team from the University of Pennsylvania on this problem. The goal is to move beyond early industrial medical device integration efforts that focus on streaming device data into electronic health records and integrating information from multiple devices into single customizable displays. The objective of the project is to support frameworks that coordinate the actions of groups of cooperating devices to potentially realize "closed loop" scenarios. This work is expected to automate clinical workflows by controlling networked devices as they perform cooperative tasks. The project builds on an open source Medical Device Coordination Framework (MDCF) that has been developed under prior NSF funding. The MDCF includes (a) middleware for integrating medical devices and EHRs and (b) a model-based development environment that could be used to quickly implement medical device coordination applications enabling a "systems of systems" paradigm for medical devices as described above. The MDCF already includes support for rapid development of component interfaces for medical devices, displays, coordination logic, and clinical decision support modules. This study extends the MDCF for rapid development of requirements documents, hazard analysis, and correctness claims associated with quality assurance techniques including testing, static analysis, and formal verification of coordination applications and their components. The FDA currently classifies conventional medical devices according to their criticality, but no such scheme exists for device coordination applications. This study is developing a criticality classification scheme for device coordination applications that will provide a structure for regulatory oversight. The study also is providing infrastructure for rapid development of coordination application assurance cases using safety cases an approach that uses semi-formal notations for structured arguments to document and provide evidence that safety claims for a system are satisfied.
医疗器械在历史上一直是整体单元-作为独立实体由监管机构开发、验证和批准。然而,现代医疗设备越来越多地结合连接机制,这些连接机制提供了通过网络/中间件技术将设备集成到协作设备的更大系统中的潜力。这个NSF-FDA驻校学者研究项目支持这个由NSF支持的学术研究团队与FDA器械和放射卫生中心(CDRH)以及医学和技术整合中心的一个团队和宾夕法尼亚大学的一个团队就这个问题进行互动。 我们的目标是超越早期的工业医疗设备集成工作,专注于将设备数据流传输到电子健康记录中,并将来自多个设备的信息集成到单个可定制的显示器中。 该项目的目标是支持协调协作设备组的行动的框架,以潜在地实现“闭环”场景。 这项工作预计将通过控制网络设备来自动化临床工作流程,因为它们执行协作任务。 该项目建立在一个开源的医疗器械协调框架(MDCF)上,该框架是在之前的NSF资助下开发的。MDCF包括(a)用于集成医疗设备和EHR的中间件,以及(B)基于模型的开发环境,该开发环境可用于快速实现医疗设备协调应用,从而实现上述医疗设备的“系统的系统”范例。 MDCF已经支持医疗设备、显示器、协调逻辑和临床决策支持模块的组件接口的快速开发。这项研究扩展了MDCF的快速发展的需求文件,危害分析,并与质量保证技术,包括测试,静态分析和正式验证的协调应用程序及其组件的正确性索赔。 FDA目前根据其关键性对传统医疗器械进行分类,但对于器械协调应用程序不存在此类计划。本研究正在为器械协调应用开发关键性分类方案,该方案将为监管监督提供结构。 这项研究还提供了基础设施,为快速发展的协调应用程序的保证情况下,使用安全的情况下,一种方法,使用半正式符号的结构化参数文件和提供证据,安全索赔的系统得到满足。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
John Hatcliff其他文献
Checking JML specifications using an extensible software model checking framework
- DOI:
10.1007/s10009-005-0218-5 - 发表时间:
2006-02-16 - 期刊:
- 影响因子:1.400
- 作者:
Robby;Edwin Rodríguez;Matthew B. Dwyer;John Hatcliff - 通讯作者:
John Hatcliff
Model-driven development for the seL4 microkernel using the HAMR framework
- DOI:
10.1016/j.sysarc.2022.102789 - 发表时间:
2023-01-01 - 期刊:
- 影响因子:
- 作者:
Jason Belt;John Hatcliff;John Robby;Jim Shackleton;Todd Carciofini;Eric Carpenter;Isaac Mercer;Junaid Amundson;Darren Babar;David Cofer;Karl Hardin;Konrad Hoech;Ihor Slind;Kent Kuz; Mcleod - 通讯作者:
Mcleod
Automated property-based testing from AADL component contracts
- DOI:
10.1007/s10009-025-00792-3 - 发表时间:
2025-04-23 - 期刊:
- 影响因子:1.400
- 作者:
John Hatcliff;Jason Belt;Robby;Jacob Legg;Danielle Stewart;Todd Carpenter - 通讯作者:
Todd Carpenter
Awas: AADL information flow and error propagation analysis framework
- DOI:
10.1007/s11334-021-00410-w - 发表时间:
2021-07-19 - 期刊:
- 影响因子:1.100
- 作者:
Hariharan Thiagarajan;John Hatcliff;Robby - 通讯作者:
Robby
John Hatcliff的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Hatcliff', 18)}}的其他基金
FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms
FDA SIR:医疗应用平台的架构集成危害分析
- 批准号:
1565544 - 财政年份:2016
- 资助金额:
$ 8万 - 项目类别:
Continuing Grant
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
FDA SIR:医疗应用平台安全和风险管理的组合方法
- 批准号:
1446544 - 财政年份:2015
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks
FDA SIR:应用程序风险评估技术
- 批准号:
1355778 - 财政年份:2013
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
CPS:协同:协作研究:医疗应用平台以应用程序为中心的动态架构的值得信赖的组合
- 批准号:
1239543 - 财政年份:2012
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
CPS:Medium:Collaborative Research:Infrastructure and Technology Innovations for Medical Device Coordination
CPS:中:合作研究:医疗器械协调的基础设施和技术创新
- 批准号:
0932289 - 财政年份:2009
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices
开发用于应用形式化方法即插即用医疗设备的开放测试平台
- 批准号:
0734204 - 财政年份:2007
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
CRI: Collaborative Research: A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques
CRI:协作研究:支持程序分析和软件测试技术的受控实验的社区资源
- 批准号:
0454348 - 财政年份:2005
- 资助金额:
$ 8万 - 项目类别:
Continuing Grant
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications
协作研究:支持可靠 RTSJ 应用程序的程序分析技术
- 批准号:
0429141 - 财政年份:2004
- 资助金额:
$ 8万 - 项目类别:
Continuing Grant
CISE Postdoctoral Research Associates: A Model Construction Tool Suite for Finite-State Verification Java (CCR)
CISE 博士后研究员:用于有限状态验证 Java (CCR) 的模型构建工具套件
- 批准号:
9901605 - 财政年份:1999
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software
职业生涯:用于自动定制适应性软件的部分评估工具集
- 批准号:
9896354 - 财政年份:1998
- 资助金额:
$ 8万 - 项目类别:
Continuing Grant
相似国自然基金
水稻边界发育缺陷突变体abnormal boundary development(abd)的基因克隆与功能分析
- 批准号:32070202
- 批准年份:2020
- 资助金额:58 万元
- 项目类别:面上项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
相似海外基金
Round 6 Cont. Development and Application of Certification Metrology for Automated Software-based Spatial Target Characterisation
第 6 轮(续)
- 批准号:
10061924 - 财政年份:2023
- 资助金额:
$ 8万 - 项目类别:
Collaborative R&D
Creation of organic hydroponic certification for the development of new organic farming: Investigation of its socio-economic effects and technological development
为发展新型有机农业创建有机水培认证:调查其社会经济影响和技术发展
- 批准号:
22H02446 - 财政年份:2022
- 资助金额:
$ 8万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
CyberTraining: Pilot: A Professional Development and Certification Program for Cyberinfrastructure Facilitators
网络培训:试点:网络基础设施促进者的专业发展和认证计划
- 批准号:
2118193 - 财政年份:2021
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
Development and Commercialisation of AI certification platform for the banking sector
银行业人工智能认证平台的开发和商业化
- 批准号:
78947 - 财政年份:2020
- 资助金额:
$ 8万 - 项目类别:
Collaborative R&D
Development of a machine-learning-powered digital HSE system that enables the monitoring of the health and safety of worksites and workers digitally and remotely and in line with ISO 45001 certification
开发基于机器学习的数字 HSE 系统,能够以数字方式远程监控工作场所和工人的健康和安全,并符合 ISO 45001 认证
- 批准号:
86634 - 财政年份:2020
- 资助金额:
$ 8万 - 项目类别:
Collaborative R&D
Development and Certification of Hand Sanitiser Production Facility
洗手液生产设施的开发和认证
- 批准号:
62197 - 财政年份:2020
- 资助金额:
$ 8万 - 项目类别:
Feasibility Studies
FAI: FairGame: An Audit-Driven Game Theoretic Framework for Development and Certification of Fair AI
FAI:FairGame:用于公平人工智能开发和认证的审计驱动的博弈论框架
- 批准号:
1939677 - 财政年份:2020
- 资助金额:
$ 8万 - 项目类别:
Standard Grant
The effect of the acquisition of certification in branding and sustainable brand development.
获得认证对品牌和可持续品牌发展的影响。
- 批准号:
20K01988 - 财政年份:2020
- 资助金额:
$ 8万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of a comprehensive teacher training curriculum and certification system for programming education
开发全面的编程教育师资培训课程和认证体系
- 批准号:
19K03082 - 财政年份:2019
- 资助金额:
$ 8万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development and verification of a career support program for young midwives before CLoCMiP Level III certification
在获得 CLoCMiP III 级认证之前,为年轻助产士制定和验证职业支持计划
- 批准号:
17K12353 - 财政年份:2017
- 资助金额:
$ 8万 - 项目类别:
Grant-in-Aid for Scientific Research (C)














{{item.name}}会员




