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.

随着医学，计算和网络技术的进步，我们可以很明显地提高医疗设备网络的质量和安全性。在医院和诊所中，这些网络将减轻医务人员必须在精神上关联数字显示和纸质记录。在手术室中，工作人员将不再需要模仿患者生存所需的安全互锁。人们曾经局限于昂贵的疗养院，可以使用自己的房屋中这些相同的医疗设备网络生活更长，更有生产力和独立的生活。为了帮助实现这一潜力，我们需要为医疗和健康管理设备的安全和简易组成创造科学基础。 对各个QoS要求及其协议的优化非常关注。但是，没有多个协议共同努力来达到理想的质量的平衡，任何系统都没有真正的功能。我们的研究重点是以正式可验证的数学模型为支持的系统端到端组成的科学基础，它将将软件体系结构和系统推向下一代安全且易于组建的医疗设备网络以及其他这样的网络物理学系统。 QoS Aware Recation的组成技术对于现代医疗保健，辅助生活和其他医疗设备的大规模部署至关重要，这些医疗设备将改善医疗服务的质量，使人们曾经局限于昂贵的养老院生活在自己的家庭中独立生活和生产性生活。尽管最初将在辅助生活的背景下开发这种技术基础，但我们希望它将扩展以帮助启用更多应用，因为QoS Aware Aware Rositions在许多网络物理系统应用程序域中都是一个通用问题。