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
-
依托单位:
海外基金