面向韧性电子-物理系统的工程学范式

韧性电子-物理系统由能够持续与其运行环境相互作用的计算系统组成，即使在运行时错误情况下也能如期工作。韧性指的是系统应对意外输入并正确提供服务的能力。谷歌PageRank和Bubblesort算法就是韧性计算系统的示例。面向韧性电子-物理系统的工程化需要范式转变，优先考虑对动态环境的适应性。软件作为自我管理的工具是处理不确定性并在这些系统中嵌入韧性的关键工具。然而，软件工程师面临着在环境动态变化下仍确保韧性的持续挑战。我的论文旨在为韧性电子-物理系统开辟一项工程学范式。我们在四年时间内开展了研究，构建了方法和工具，交付了软件包，并提供指导实践者的网站。本文提供了所解决问题、我们的方法论、关键贡献和结果亮点的浓缩概述。通过向社区寻求反馈，本文既为论文答辩做准备，也为未来研究前景提供见解。