CPS:Medium:Collaborative Research:Infrastructure and Technology Innovations for Medical Device Coordination
CPS:中:合作研究:医疗器械协调的基础设施和技术创新
基本信息
- 批准号:0932289
- 负责人:
- 金额:$ 83.95万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2009
- 资助国家:美国
- 起止时间:2009-09-15 至 2013-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The objective of this research is to develop a framework for the developmentand deployment of next-generation medical systems consisting of integrated andcooperating medical devices. The approach is to design and implement anopen-source medical device coordination framework and a model-based componentoriented programming methodology for the device coordination, supported by aformal framework for reasoning about device behaviors and clinical workflows.The intellectual merit of the project lies in the formal foundations of theframework that will enable rapid development, verification, and certificationof medical systems and their device components, as well as the clinicalscenarios they implement. The model-based approach will supply evidence forthe regulatory approval process, while run-time monitoring components embeddedinto the system will enable "black box" recording capabilities for the forensicanalysis of system failures. The open-source distribution of tools supportingthe framework will enhance its adoption and technology transfer.A rigorous framework for integrating and coordinating multiple medical deviceswill enhance the implementation of complicated clinical scenarios and reducemedical errors in the cases that involve such scenarios. Furthermore, it willspeed up and simplify the process of regulatory approval for coordination-enabled medical devices, while the formal reasoning framework will improve the confidence in the design process and in the approval decisions.Overall, the framework will help reduce costs and improve the quality of thehealth care.
本研究的目的是开发一个框架,用于开发和部署由集成和协作医疗设备组成的下一代医疗系统。 该方法是设计和实现一个开源医疗设备协调框架和一个基于模型的面向组件的编程方法,用于设备协调,由一个用于推理设备行为和临床工作流程的正式框架支持。该项目的智力价值在于框架的正式基础,这将使医疗系统及其设备组件的快速开发,验证和认证成为可能,以及他们实施的临床场景。 基于模型的方法将为监管审批过程提供证据,而嵌入系统的运行时监控组件将启用“黑匣子”记录功能,用于系统故障的法医分析。 支持该框架的开源工具的分发将促进其采用和技术转让。一个用于集成和协调多个医疗设备的严格框架将促进复杂临床场景的实施,并减少涉及此类场景的病例中的医疗错误。 此外,它将加快和简化协调医疗设备的监管审批过程,而正式的推理框架将提高设计过程和审批决策的信心。总的来说,该框架将有助于降低成本和提高医疗质量。
项目成果
期刊论文数量(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
- 资助金额:
$ 83.95万 - 项目类别:
Continuing Grant
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
FDA SIR:医疗应用平台安全和风险管理的组合方法
- 批准号:
1446544 - 财政年份:2015
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks
FDA SIR:应用程序风险评估技术
- 批准号:
1355778 - 财政年份:2013
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
CPS:协同:协作研究:医疗应用平台以应用程序为中心的动态架构的值得信赖的组合
- 批准号:
1239543 - 财政年份:2012
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
An Integrated Development and Certification Environment for a Medical Device Coordination Framework
医疗器械协调框架的集成开发和认证环境
- 批准号:
1065887 - 财政年份:2011
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
Development of an Open Test-bed for Application of Formal Methods to Plug and Play Medical Devices
开发用于应用形式化方法即插即用医疗设备的开放测试平台
- 批准号:
0734204 - 财政年份:2007
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
CRI: Collaborative Research: A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques
CRI:协作研究:支持程序分析和软件测试技术的受控实验的社区资源
- 批准号:
0454348 - 财政年份:2005
- 资助金额:
$ 83.95万 - 项目类别:
Continuing Grant
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications
协作研究:支持可靠 RTSJ 应用程序的程序分析技术
- 批准号:
0429141 - 财政年份:2004
- 资助金额:
$ 83.95万 - 项目类别:
Continuing Grant
CISE Postdoctoral Research Associates: A Model Construction Tool Suite for Finite-State Verification Java (CCR)
CISE 博士后研究员:用于有限状态验证 Java (CCR) 的模型构建工具套件
- 批准号:
9901605 - 财政年份:1999
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software
职业生涯:用于自动定制适应性软件的部分评估工具集
- 批准号:
9896354 - 财政年份:1998
- 资助金额:
$ 83.95万 - 项目类别:
Continuing Grant
相似海外基金
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322534 - 财政年份:2024
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322533 - 财政年份:2024
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Physics-Model-Based Neural Networks Redesign for CPS Learning and Control
合作研究:CPS:中:基于物理模型的神经网络重新设计用于 CPS 学习和控制
- 批准号:
2311084 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
CPS: Medium: Collaborative Research: Provably Safe and Robust Multi-Agent Reinforcement Learning with Applications in Urban Air Mobility
CPS:中:协作研究:可证明安全且鲁棒的多智能体强化学习及其在城市空中交通中的应用
- 批准号:
2312092 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:
2333980 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: An Online Learning Framework for Socially Emerging Mixed Mobility
协作研究:CPS:媒介:社会新兴混合出行的在线学习框架
- 批准号:
2401007 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
CPS: Medium: Collaborative Research: Robust Sensing and Learning for Autonomous Driving Against Perceptual Illusion
CPS:中:协作研究:针对自动驾驶对抗知觉错觉的鲁棒感知和学习
- 批准号:
2235231 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Data Driven Modeling and Analysis of Energy Conversion Systems -- Manifold Learning and Approximation
合作研究:CPS:媒介:能量转换系统的数据驱动建模和分析——流形学习和逼近
- 批准号:
2223987 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Mutualistic Cyber-Physical Interaction for Self-Adaptive Multi-Damage Monitoring of Civil Infrastructure
合作研究:CPS:中:土木基础设施自适应多损伤监测的互信息物理交互
- 批准号:
2305882 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant
CPS Medium: Collaborative Research: Physics-Informed Learning and Control of Passive and Hybrid Conditioning Systems in Buildings
CPS 媒介:协作研究:建筑物中被动和混合空调系统的物理信息学习和控制
- 批准号:
2241796 - 财政年份:2023
- 资助金额:
$ 83.95万 - 项目类别:
Standard Grant














{{item.name}}会员




