CAREER: Towards Fault-tolerant Edge Computing for Cyber-Physical Systems: Distributed Primitives for Coordination under Cyber Attacks

边缘计算是一种新兴的范例，它通过在用户处或附近分配一系列（边缘）服务器来扩展云计算，以提供必要的网络、存储和计算服务。网络物理系统（CPS）将物理设备连接到互联网并相互连接。本研究探讨了边缘计算与CPS之间的结合，即基于边缘的CPS。它吸引了学术界和工业界的极大关注，因为它有望从根本上改变人们与工程系统交互的方式。一个重要的元素-容错分布式原语的研究-仍然缺少在文献中。这项研究的重点是分布式共识原语，允许节点的集合作为一个连贯的实体，在各种故障和网络攻击的存在。具体来说，有三个相互关联的任务：（i）在基于边缘的CPS的背景下识别基本属性，限制和权衡;（ii）设计算法，自动适应不断变化的条件和不断变化的网络攻击，以保持良好的性能;（iii）设计和实现一个逼真的模拟器，以研究实际情况下的性能。预期成果将为基于边缘的CPS提供高效和容错的服务，从而在CPS应用中实现更多创新。这项研究预计将通过确定一组原则，容错工具，并分析设计分布式容错原语的知识状态。这项工作将强调允许实际执行的模型和原语，并计划实际演示其容错性和性能优势。边缘计算和CPS预计将成为下一代基础设施的关键组件，因此使基于边缘的CPS容错可以产生大规模的好处。相反，由于缺乏基本的理解而错过的改进机会可能会对性能和容错产生重大影响。这项研究有助于通过确定权衡和限制来解决这些问题。拟议的研究还计划开发PI计划教授的分布式系统的新教学材料，包括波士顿学院的课程和向公众提供的在线教程。此外，研究和推广工作将通过提供原则来帮助工业界和学术界为基于边缘的CPS设计容错原语，从而使社会受益;加强学术界和工业界之间的伙伴关系;让妇女、残疾人和STEM中代表性不足的群体参与进来;提高公众的科学素养和公众对科学技术的参与。该奖项反映了NSF的法定使命，通过使用基金会的知识价值和更广泛的影响审查标准进行评估，

Edge computing is an emerging paradigm that extends cloud computing by allocating a range of (edge) servers at or near the user to provide necessary networking, storage, and computing services. Cyber-physical systems (CPS) connect physical devices to the Internet and to each other. This research explores the marriage between edge computing and CPS, namely edge-based CPS. It has attracted a tremendous amount of attention from both academia and industry because it is expected to fundamentally change the way people interact with engineered systems. One essential element –the study of fault-tolerant distributed primitives– is still missing in the literature. This research is focused on distributed consensus primitives that allow a collection of nodes to work as a coherent entity in the presence of various failures and cyberattacks. Concretely, there are three interrelated tasks: (i) identifying fundamental properties, limitations, and trade-offs in the context of edge-based CPS; (ii) designing algorithms that automatically adapt under changing conditions and varying cyberattacks to maintain good performance; and (iii) designing and implementing a realistic simulator to study performance under practical scenarios. The expected outcomes will enable efficient and fault-tolerant services for edge-based CPS, allowing more innovation in CPS applications. This research is expected to advance the state of knowledge by identifying a set of principles, fault-tolerance tools, and analyses for designing distributed fault-tolerant primitives. The work will emphasize models and primitives that allow for practical implementation, with plans for realistic demonstrations of their fault-tolerance and performance advantages. Edge computing and CPS are expected to be key components of next-generation infrastructure, so making edge-based CPS fault-tolerant can yield large-scale benefits. Conversely, missed opportunities for improvements caused by a lack of foundational understanding could have significant performance and fault-tolerance consequences. This research helps address these issues by identifying trade-offs and limitations. The proposed research also plans to develop new pedagogical material on distributed systems that the PI plans to teach, both through courses at Boston College and in online tutorials made available to the public. In addition, the research and outreach work will benefit society by providing principles to help industry and academia design fault-tolerant primitives for edge-based CPS; increasing partnerships between academia and industry; involving women, persons with disabilities, and underrepresented groups in STEM; and increasing public scientific literacy and public engagement with science and technology.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.