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.

现代医疗设备通常是复杂的分布式系统。它们需要大量的嵌入式软件，并在涉及多个人（如护理人员、医生和患者）的组件之间显示反馈回路。 这种系统需要足够灵活，以适应其环境中的显著不确定性，例如患者对治疗和药物的变化和通常不可预测的反应。 与许多其他复杂系统一样，越来越突出的趋势是由独立开发的硬件和软件组件组装医疗设备。 为了适应这一趋势，同时保持医疗系统所需的高度置信度，需要在主动组件领域进行研究。主动组件的概念扩展了传统组件的新功能，支持组合推理，以提高互操作性。 主动组件的基本概念是组件携带一个可供其对等体使用的自模型，该模型指定了对等体可以预期的预期行为和故障行为，以及它从对等体假设的行为。该项目正在开发主动组件作为医疗器械软件和系统（MDSS）的组成框架，并应用主动组件对MDSS的环境方面进行建模和分析，预测预期和意外的交互，并比较心理模型和系统模型，以检测和防止潜在的用户错误。 特别是，主动组件框架将被应用于建立高置信度的医疗设备即插即用（MD PIPE）的互操作性，一个持续的努力，目标是动态集成的医疗设备。该项目还寻求应用，评估和改进有源组件的概念，将其用于组合性和互操作性至关重要的新型先进医疗设备系统，例如基于传感器网络的医疗设备。