CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
批准号:
0930647
负责人:
Insup Lee
金额:
$66.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-15 至 2012-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 for the 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 will speed 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)
会议论文
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
-
批准号:2143274
-
项目类别:Standard Grant
-
资助金额:$69.2万
-
财政年份:2022
-
负责人:Insup Lee
-
依托单位:
SCC-IRG JST: Active sensing and personalized interventions for pandemic-induced social isolation
-
批准号:2125561
-
项目类别:Continuing Grant
-
资助金额:$75.0万
-
财政年份:2021
-
负责人:Insup Lee
-
依托单位:
SCH: INT: Collaborative Research: Smart Alarms 2.0: Foundations for Caregiver-in-the-loop Suppression of Non-Informative Alarms
-
批准号:1915398
-
项目类别:Standard Grant
-
资助金额:$98.0万
-
财政年份:2019
-
负责人:Insup Lee
-
依托单位:
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems
-
批准号:1505799
-
项目类别:Continuing Grant
-
资助金额:$112.5万
-
财政年份:2015
-
负责人:Insup Lee
-
依托单位:
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
-
批准号:1239324
-
项目类别:Standard Grant
-
资助金额:$12.0万
-
财政年份:2012
-
负责人:Insup Lee
-
依托单位:
Assurance Cases for a Physiologically Closed-Loop PCA Systems
-
批准号:1042829
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2010
-
负责人:Insup Lee
-
依托单位:
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
-
批准号:1035715
-
项目类别:Continuing Grant
-
资助金额:$495.0万
-
财政年份:2010
-
负责人:Insup Lee
-
依托单位:
CSR-EHCS(CPS) TM: Robust Composition and Interoperability of CPS Components
-
批准号:0834524
-
项目类别:Standard Grant
-
资助金额:$95.0万
-
财政年份:2008
-
负责人:Insup Lee
-
依托单位:
CT-ISG: Collaborative Research: Massive Dataset Algorithmics for Network Security
-
批准号:0716172
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Insup Lee
-
依托单位:
CSR--CPS: Component-based Development of Cyber-Physical Systems
-
批准号:0720703
-
项目类别:Continuing Grant
-
资助金额:$24.5万
-
财政年份:2007
-
负责人:Insup Lee
-
依托单位:
Applying Formal Methods to Improve the Quality of Software in Medical Devices
-
批准号:0610297
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Insup Lee
-
依托单位:
Collaborative Research: CSR-EHS: A Hierarchy of Models for Embedded Software
-
批准号:0509143
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2005
-
负责人:Insup Lee
-
依托单位:
CSR-EHS: Techniques for Assuring the Safety and Reliability of Physical Computing Systems and Applications to Medical Devices
-
批准号:0509327
-
项目类别:Continuing Grant
-
资助金额:$78.0万
-
财政年份:2005
-
负责人:Insup Lee
-
依托单位:
Extracting Traceable Formal Models from Natural Language Policy Documents
-
批准号:0429948
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Insup Lee
-
依托单位:
Testing Based on Hybrid System Models
-
批准号:0209024
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2002
-
负责人:Insup Lee
-
依托单位:
An Integrated Approach to Improving Design-Time and Run-Time Confidence
-
批准号:9988409
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:2000
-
负责人:Insup Lee
-
依托单位:
Hierarchical Specification, Analysis, and Testing of Real-Time Systems
-
批准号:9415346
-
项目类别:Continuing Grant
-
资助金额:$18.91万
-
财政年份:1995
-
负责人:Insup Lee
-
依托单位:
CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995
-
批准号:9501225
-
项目类别:Standard Grant
-
资助金额:$0.5万
-
财政年份:1995
-
负责人:Insup Lee
-
依托单位:
Teleconferenced Workstations: Improving Experimentation in Undergraduate Education
-
批准号:9451190
-
项目类别:Standard Grant
-
资助金额:$7.6万
-
财政年份:1994
-
负责人:Insup Lee
-
依托单位:
Using Parallelism and Randomness in the Analysis of Large- Scale Real-Time Systems
-
批准号:9311622
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:1993
-
负责人:Insup Lee
-
依托单位:
海外基金