Safe and Effective Multi-sensory Personal Aids in the IoT Age

该项目针对分散的物联网（IoT），重点是通过我们以质量为导向的多感官无线系统设计构建的人类健康应用。我们将探索使用新的混合系统优化和验证方法，以及新兴的计算领域，如不精确，内存中，可逆或量子计算。******长期目标需要个性化医疗系统，传感器收集主要生理状态变量的数据，以个性化药物，运动和营养剂量，导致精确控制，减少广泛的不良影响，特别是对慢性疾病。******短期目标包括可靠系统的质量驱动设计，健康/生活方式测试平台的开发以及用于分布式、保护隐私的人类活动识别（HAR）和环境智能的机器智能加速器的设计，以利用嵌入在网络边缘的设备精心设计的新功能。针对慢性健康状况（糖尿病、呼吸）和衰老的系统将进行调整，以改善或避免单独进行的人体试验。******虽然目前的物联网通常采用依赖云的集中式架构，但对于产生大量数据供不同利益相关者使用的健康应用程序来说，需要相当大的去中心化。确保适当的数据处理目前成本高昂，因为常见的物联网平台经常成为安全目标，这尤其危及健康和生活方式应用程序的隐私。当数十亿物联网设备进入市场时，即使是成熟的隐私和安全方案也会失效，因此需要研究改进措施。***除了基于断言的质量保证、监控和验证技术外，我们还将探索在医疗和生活方式中使用的物联网设备的大规模网络中可行的无抵赖区块链信任机制。将考虑采用低功耗、可扩展的区块链技术，实现电子健康记录，解决在医生、药房、保险公司和患者之间的交换中提供可信的处方、药物和传感器数据的挑战，从而使错误的数据不会妨碍健康/生活方式方案。******研究重点是医疗保健物联网的可用性和持续服务质量改进，因此将与安全和隐私问题相结合。未来的研究将包括抗量子计算的安全方案和可扩展的可逆电路合成，从能源效率到智能、安全和隐私保护都有好处。******该项目将在计算机、软件和复杂异构系统工程等广泛领域培养一批备受追捧的工业和学术领袖。

This program targets decentralized Internet of Things (IoT), with emphasis on human health applications built by our quality-driven design of multi-sensory wireless systems. We will explore the use of novel hybrid system optimization and verification methods, as well as the emerging fields of computing, such as the imprecise, in-memory, reversible or quantum computing. ******The long-term goal entails the personalized medicine systems, where sensors collect the data on major physiological state variables to personalize medicaments, exercise and nutrition dosing, leading to precise control that reduces widespread adverse effects, especially for chronic conditions. ******Short-term goals include the quality-driven design of dependable systems, the development of health/lifestyle testbeds and the design of machine intelligence accelerators for distributed, privacy-preserving human activity recognition (HAR) and ambiental intelligence, to harness the carefully designed new capabilities of the devices embedded in the edge of the network. The systems for chronic health conditions (diabetes, respiration) and aging will be tuned to improve or obviate the separately undertaken human trials. ******While current IoTs often employ centralized architectures relying on cloud, considerable decentralization is needed for health applications that generate large amounts of data used by the diverse stakeholders. Ensuring proper data handling is currently costly, as common IoT platforms often become security targets, which especially endangers privacy in health and lifestyle applications. Even the mature privacy and security schemes fail when billions of IoT devices enter the market, so improvements will be studied. ***Besides the assertion-based quality assurance, monitoring and verification techniques, we will explore the repudiation-free blockchain for feasible trust mechanisms in massive networks of IoT devices used in healthcare and lifestyle. The low-power, scalable blockchain technologies will be considered that allow the realization of electronic health records addressing the challenges of providing the trusted prescriptions, medicaments and sensor data in the exchange between medical practitioners, pharmacies, insurance companies and patients, such that no faulty data hinders the health/lifestyle regimen. ******Research focus on the usability and continuous service quality improvements of IoT for healthcare will be hence combined with the security and privacy concerns. Future-proofing of the research will include the quantum computing-resistant security schemes and scalable reversible circuit synthesis, with benefits ranging from energy-efficiency to intelligence, safety and privacy preservation. ******The program will form a substantial pool of highly sought-after industrial and academic leaders in broad areas of computer, software and complex heterogeneous systems engineering.