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
中文摘要
本研究的目的是建立一种新的开发范式,使医疗器械网络物理系统的有效设计,实施和认证成为可能。 该方法是追求以下研究方向:1)支持医疗设备的互联性和互操作性与网络使能控制; 2)应用医疗设备之间的协调,以支持新兴的临床场景; 3)?结束这一切该项目的智力价值是:1)严格开发的基础,包括临床场景的形式化、操作程序和医疗设备系统的架构,以及患者和护理人员的建模; 2)医疗器械系统的高置信度软件开发,包括将临床场景和器械安全有效地组合到动态组装系统中; 3)医疗器械网络物理系统的确认和认证;以及4)教育下一代医疗设备系统开发人员,他们必须在设备的计算和物理方面都有知识。该项目的更广泛影响将通过三种方式实现。新的设计方法和认证技术将显著提高患者安全性。 在临床实践中引入闭环方案将减轻护理人员目前面临的负担,并有可能降低医疗保健的总体成本。 最后,教育工作和外联活动将提高对医疗器械系统领域职业的认识,并有助于吸引妇女和代表性不足的少数民族进入该领域。
英文摘要
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
-
负责人:尚政军
-
依托单位: