CSR EHS: Formal Model Based Health and Medical System Composition

CSR EHS：基于正式模型的健康和医疗系统构成

• 批准号: 0720482
• 负责人: Lui Sha
• 金额: $ 75万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-10-01 至 2010-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720482&HistoricalAwards=false
• 关键词: CSR; EHS; Formal; Model; Based

With the increasing advances in medical, computing and networking technologies, we cansignificantly improve the quality and safety of medical device networks. In hospitals and clinics, these networks will relieve medical personnel from having to mentally correlate digital displays and paper records. In operating rooms, staff will no longer have to emulate the safety interlocks necessary for a patient?s survival. People once confined to expensive nursing homes, can potentially live longer, more productive and independent lives using these same medical device networks in their own home. To help realize this potential, we need to create the scientific foundation for the safe and easy composition of medical and health management devices. Much attention has been paid to the optimization of individual QoS requirements and their protocols. Yet, no system is truly functional without multiple protocols working together to achieve a balance of desirable qualities. Our research focus on the scientific foundation for the end-to-end composition of systems, backed by formally verifiable mathematical models, will push software architectures and systems to the next generation of safe and easily-composed medical device networks and other such Cyber-Physical Systems. QoS aware composition technologies are vital to the mass deployment of modern health care, assisted living, and other medical devices that will improve the quality of medical services, allowing people once confined to expensive nursing homes to live independent and productive lives in their own home. Although this technological foundation will be initially developed in the context of assisted living, we expect that it will be extended to help enable many more applications because QoS aware composition is a generic problem in many Cyber-Physical System application domains.

随着医疗、计算和网络技术的日益进步，我们可以显著提高医疗设备网络的质量和安全。在医院和诊所，这些网络将使医务人员不必在心理上将数字显示和纸质记录联系起来。在手术室里，工作人员将不再需要模仿患者S生存所必需的安全联锁。曾经被限制在昂贵的疗养院的人，在自己的家里使用这些相同的医疗设备网络，可能会活得更长、更有生产力和独立的生活。为了帮助实现这一潜力，我们需要为安全和轻松地组合医疗和健康管理设备创造科学基础。个性化的服务质量要求及其协议的优化一直是人们关注的焦点。然而，如果没有多个协议协同工作以实现所需质量的平衡，任何系统都不能真正发挥作用。我们的研究集中在端到端系统组成的科学基础上，以正式可验证的数学模型为后盾，将推动软件体系结构和系统向下一代安全且易于组成的医疗设备网络和其他类似的网络物理系统发展。Qos感知合成技术对于大规模部署现代医疗保健、辅助生活和其他医疗设备至关重要，这些设备将提高医疗服务的质量，使一度被限制在昂贵疗养院的人们能够在自己的家中过上独立和富有成效的生活。虽然这一技术基础最初将在辅助生活的背景下开发，但我们预计它将被扩展以帮助实现更多的应用，因为感知服务质量的组合在许多网络物理系统应用领域中是一个普遍问题。