CSR EHS: Formal Model Based Health and Medical System Composition

随着医疗、计算和网络技术的不断进步，我们可以显著提高医疗设备网络的质量和安全性。在医院和诊所，这些网络将使医务人员不必在脑海中将数字显示和纸质记录联系起来。在手术室里，工作人员将不再需要模仿病人所需的安全联锁装置。的生存。曾经被限制在昂贵的养老院的人们，可以在自己的家中使用这些相同的医疗设备网络，过上更长、更有效率和更独立的生活。为了帮助实现这一潜力，我们需要为医疗和健康管理设备的安全和简单组成奠定科学基础。 人们对QoS需求及其协议的优化给予了很大的关注。然而，如果没有多个协议一起工作以实现期望质量的平衡，则没有任何系统是真正起作用的。我们的研究重点是系统端到端组成的科学基础，由正式可验证的数学模型支持，将软件架构和系统推向下一代安全且易于组成的医疗设备网络和其他此类网络物理系统。 QoS感知合成技术对于现代医疗保健、辅助生活和其他医疗设备的大规模部署至关重要，这些医疗设备将提高医疗服务质量，使曾经被限制在昂贵的疗养院的人们能够在自己的家中过上独立和富有成效的生活。虽然这一技术基础最初将在辅助生活的背景下开发，但我们预计它将被扩展以帮助实现更多的应用，因为QoS感知组合在许多网络物理系统应用领域中是一个通用的问题。

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.