CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
批准号:
1035715
负责人:
Insup Lee
金额:
$495.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-10-01 至 2017-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The objective of this research is to establish a new development paradigm that enables the effective design, implementation, and certification of medical device cyber-physical systems. The approach is to pursue the following research directions: 1) to support medical device interconnectivity and interoperability with network-enabled control; 2) to apply coordination between medical devices to support emerging clinical scenarios; 3) to ?close the loop? and enable feedback about the condition of the patient to the devices delivering therapy; and 4) to assure safety and effectiveness of interoperating medical devices.The intellectual merits of the project are 1) foundations for rigorous development, which include formalization of clinical scenarios, operational procedures, and architectures of medical device systems, as well as patient and caregiver modeling; 2) high-confidence software development for medical device systems that includes the safe and effective composition of clinical scenarios and devices into a dynamically assembled system; 3) validation and certification of medical device cyber-physical systems; and 4) education of the next-generation of medical device system developers who must be literate in both computational and physical aspects of devices.The broader impacts of the project will be achieved in three ways. Novel design methods and certification techniques will significantly improve patient safety. The introduction of closed-loop scenarios into clinical practice will reduce the burden that caregivers are currently facing and will have the potential of reducing the overall costs of health care. Finally, the educational efforts and outreach activities will increase awareness of careers in the area of medical device systems and help attract women and under-represented minorities to the field.
期刊论文(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:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
-
批准号:0930647
-
项目类别:Standard Grant
-
资助金额:$66.0万
-
财政年份:2009
-
负责人: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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于水稻穗粒数关键基因LARGE2提高作物产量的探索与应用
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:黄洛将
-
依托单位:
水稻穗粒数调控关键因子LARGE6的分子遗传网络解析
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:黄洛将
-
依托单位:
量子自旋液体中拓扑拟粒子的性质:量子蒙特卡罗和新的large-N理论
-
批准号:12074246
-
项目类别:面上项目
-
资助金额:62.0万元
-
批准年份:2020
-
负责人:Yoshitomo Kamiya
-
依托单位:
甘蓝型油菜Large Grain基因调控粒重的分子机制研究
-
批准号:31972875
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:石江华
-
依托单位:
Large PB/PB小鼠 视网膜新生血管模型的研究
-
批准号:30971650
-
项目类别:面上项目
-
资助金额:8.0万元
-
批准年份:2009
-
负责人:周旻
-
依托单位:
基因discs large在果蝇卵母细胞的后端定位及其体轴极性形成中的作用机制
-
批准号:30800648
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2008
-
负责人:于玲珠
-
依托单位:
LARGE基因对口腔癌细胞中α-DG糖基化及表达的分子调控
-
批准号:30772435
-
项目类别:面上项目
-
资助金额:29.0万元
-
批准年份:2007
-
负责人:尚政军
-
依托单位: