CSR-EHCS(CPS) TM: Robust Composition and Interoperability of CPS Components

CSR-EHCS(CPS) TM：CPS 组件的稳健组合和互操作性

• 批准号: 0834524
• 负责人: Insup Lee
• 金额: $ 95万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-09-01 至 2012-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0834524&HistoricalAwards=false
• 关键词: CSR; EHCS; CPS; TM; Robust

Modern medical devices are often complex distributed systems. They require substantial embedded software and exhibit feedback loops between their components that involve multiple humans, such as caregivers, doctors, and patients. Such systems need to be flexible enough to accommodate significant uncertainty in their environments, such as varying and often unpredictable reactions of patients to treatments and medications. As with many other complex systems, the increasingly prominent trend is to assemble medical devices from independently developed hardware and software components. To accommodate this trend and simultaneously maintain the high degree of confidence that is required of medical systems, research is needed in the area of active components.The idea of an active component extends traditional components with novel capabilities that support compositional reasoning to improve interoperability. The basic concept of an active component is that the component carries a self-model that can be used by its peers, which specifies the intended and failure behaviors that peers can expect and the behavior it assumes from peers.The project is developing active components as a compositional framework for medical device software and systems (MDSS), and applies active components to model and analyze the environmental aspects of MDSS, to anticipate expected and unexpected interactions, and to compare mental models and systems models to detect and prevent potential user errors. In particular, the active component framework will be applied to establish high confidence in MD PnP (Medical Device Plug-and-Play) interoperability, an on-going effort targeting dynamic integration of medical devices. The project also seeks to apply, evaluate, and refine the notion of active components by using them for new advanced medical device systems where compositionality and interoperability are essential, such as medical devices based on sensor networks.

现代医疗设备通常是复杂的分布式系统。他们需要大量的嵌入软件，并在其组件之间展示涉及多个人类（例如护理人员，医生和患者）的反馈回路。 这样的系统需要足够灵活，以适应其环境中的重大不确定性，例如患者对治疗和药物的变化且常常无法预测的反应。 与许多其他复杂系统一样，越来越突出的趋势是从独立开发的硬件和软件组件中组装出医疗设备。 为了适应这一趋势并同时保持医疗系统所需的高度信心，需要在主动组件领域进行研究。主动组件的想法扩展了具有新型能力的传统组件，这些功能支持组成推理以提高互操作性。 活跃成分的基本概念是，该组件携带一个可以由同龄人使用的自模型，指定同伴可以期望的预期和失败行为以及与同行的行为所期望的预期和失败行为。该项目正在开发活跃的组件作为医疗设备和系统（MDS）的组成框架，并应用于积极的组件，并将现象的环境与环境相互作用，并分析MIDS的相互作用和分析MDS的相互作用，并将其组合为MDS，并将MDS与MDS相关联，并将MIDS与MDS相结合。心理模型和系统模型以检测和防止潜在的用户错误。 特别是，将采用主动组件框架来建立对MD PNP（医疗设备插件）互操作性的高度信心，这是针对医疗设备动态集成的持续努力。该项目还旨在通过将它们用于组合性和互操作性的新的高级医疗设备系统，例如基于传感器网络的医疗设备，以应用，评估和完善主动组件的概念。